On extensions of intermediate logics by strong negation

Journal of Philosophical Logic

Volumn 27, Issue 1, 1998, Pages 49-73

  Kracht, Marcus ^a  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Constructive logic; Intuitionistic logic; Lattices of logics; Nelson algebras

Indexed keywords

EID: 54649084682     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004222213212     Document Type: Article

References (16)

1. Burris, Stanley and Sankappanavar, H. P. (1981): A Course in Universal Algebra. Number 78 in Graduate Texts in Mathematics. Springer.
2. Gelfond, Michael and Lifschitz, Vladimir (1988): The Stable Model Semantics for Logic Programs. In Proceedings of the 5th International Conference on Logic Programming, pp. 1070-1080. MIT-Press, Cambridge, Mass.
3. Gelfond, Michael and Lifschitz, Vladimir (1990): Logic Programs with Classical Negation. In Proceedings of the ICPL-90, pp. 579-597. MIT-Press, Cambridge, Mass.
4. Goranko, Valentin (1985): The Craig Interpolation Theorem for Propositional Logics with Strong Negation. Studia Logica 44: 291-317.
5. Herre, Heinrich and Pearce, David (1992): Disjunctive logic programming, constructivity and strong negation. In Logic in AI. Proceedings of the European Warshop JELIA 92, number 633 in Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin.
6. Maksimova, Larisa L. (1977): Craig's Theorem in superintionistic logics and amalgamable varieties of Pseudo-boolean algebras. Algebra and Logics 16: 427-455.
7. Nelson, David (1946): Constructible falsity. Journal of Symbolic Logic, 14: 16-26.
8. Pearce, David (1997): A new logical characterization of stable models and answer sets. In Dix, J., Pereira, L. M., and Przymusinski, T. (eds.): Nonmonotonic Extensions of Logic Programming. Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin.
9. Pearce, David and Wagner, Gerd (1990): Reasoning with negative information, I: Strong negation in logic programs. In Language, Knowledge and Intentionality (Acta Philosophica Fennica 49), pp. 405-439. Helsinki.
10. Pearce, David and Wagner, Gerd (1991): Logic programming with strong negation. In Schroeder-Heister, Peter (ed), Extensions of Logic Programming, number 475 in Lecture Notes in Artificial Intelligence, pp. 311-326. Springer-Verlag, Berlin.
11. Rasiowa, Helena (1958): N-lattices and constructive logic with strong negation. Fundamenta Mathematicae 46: 61-80.
12. Rautenberg, Wolfgang (1979): Klassische und nichtklassische Aussagenlogik. Vieweg Verlag, Braunschweig/Wiesbaden.
13. Sendlewski, Andrzej (1984): Some investigations of varieties of N-lattices. Studia Logica 43: 257-280.
14. Sendlewski, Andrzej (1990): Nelson algebras through Heyting ones. Studia Logica 49: 106-126.
15. Sendlewski, Andrzej (1995): Axiomatic extensions of the constructive logic with strong negation and the disjunction property. Studia Logica 55: 377-388.
16. Vakarelov, Dimiter (1977): Notes on N-lattices and constructive logic with strong negation. Studia Logica 36: 109-125.