Journal of Mathematical Sciences

, Volume 205, Issue 3, pp 389–402 | Cite as

Double Negation Operator in Logic N

  • S. A. DrobyshevichEmail author

We obtain an axiomatization of the double Routley negation operator as a necessity operator in the logic N . We introduce the logic N # describing the behavior of the double Routley negation operator, define the Kripke semantics of N #, prove the completeness, and the establish the finite approximation property and decidability. We also compare constructive properties of the logics N and N #.


Modal Logic Induction Assumption Intuitionistic Logic Double Negation Validity Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    P. Cabalar, S. P. Odintsov, and D. Pearce, “Logical foundations of well-founded semantics,” In: Principles of Knowledge Representation and Reasoning, pp. 25–36, AAAI Press, California (2006).Google Scholar
  2. 2.
    K. Došen, “Negation as a modal operator,” Rep. Math. Logic 20, 15–28 (1986).zbMATHGoogle Scholar
  3. 3.
    F. Wolter and M. Zakharyaschev, “Intuitionistic modal logics,” In: Logical Foundations of Mathematics, pp. 227–238, Kluwer Acad. Publ. (1999).Google Scholar
  4. 4.
    V. Sotirov “Modal theories with intuitionistic logic,” In: Proceedings of the Conference Dedicated to the Memory of A. A. Markov (1903–1979), pp. 139–171, Bulgar. Acad. Sci., Sofia (1984).Google Scholar
  5. 5.
    D. Vakarelov “Theory of Negation in Certain Logical Systems: Algebraic and Semantical Approach,” Thesis, Univ. Warsaw (1976).Google Scholar
  6. 6.
    D. Vakarelov “Consistency, completeness and negation,” In: Paraconsistent Logics: Essays on the Inconsistent, pp. 328–363, Filosophia (1989).Google Scholar
  7. 7.
    D. Vakarelov “The non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation” Stud. Log. 84, 105–127 (2006).CrossRefzbMATHMathSciNetGoogle Scholar
  8. 8.
    M. Božić and K. K. Došen, “Models for normal intuitionistic modal logics,” Stud. Log. 43, 217–245 (1984).CrossRefzbMATHGoogle Scholar
  9. 9.
    K. Došen, “Negative modal operators in intuitionistic logic,” Publ. Inst. Math., Nouv. Sér. 35, 3–14 (1984).Google Scholar
  10. 10.
    R. Routley and V. Routley, “The semantics of first degree entailment,” Noûs 6, 335–359 (1972).CrossRefMathSciNetGoogle Scholar
  11. 11.
    S. P. Odintsov, “Combining intuitionistic connectives and Routley negation,” Sib. Electron. Math. Rep. 7, 21–41 (2010).MathSciNetGoogle Scholar
  12. 12.
    V. Sotirov “The intuitionistic double negation is a modality,” In: Abstracts of 7th Int. Witgenstein Symp. 22–29 August 1982, Kircherg an Wechsel, Austria, p. 58 (1982).Google Scholar
  13. 13.
    K. Došen, “Intuitionistic double negation as a necessity operator,” Publ. Inst. Math., Nouv. Sér. 35, No. 49, 15–20 (1984).Google Scholar
  14. 14.
    M. Božić and K. Došen, “Axiomatizations of intuitionistic double negation,” Bull. Sect. Logic, Pol. Acad. Sci. 12, 99–104 (1983).zbMATHGoogle Scholar
  15. 15.
    S. P. Odintsov “Glivenko theorem for N -extension,” Sib. Electron. Math. Rep. 8, 365–368 (2011).MathSciNetGoogle Scholar
  16. 16.
    S. A. Drobyshevich and S. P. Odintsov, “Finite model property for negative modalities,” Sib. Electron. Math. Rep. 10, 1–21 (2013).MathSciNetGoogle Scholar
  17. 17.
    S. A. Drobyshevich, “A hybrid calculus for logic N : residual finiteness and decidability” [in Russian], Algebra Logika 50, No. 3, 351–367; English transl.: Algebra Logic 50, No. 3, 245–256 (2011).Google Scholar

Copyright information

© Springer Science+Business Media New York 2015

Authors and Affiliations

  1. 1.Sobolev Institute of Mathematics SB RASNovosibirskRussia
  2. 2.Novosibirsk State UniversityNovosibirskRussia

Personalised recommendations