Nelson's negation on the base of weaker versions of intuitionistic negation

Studia Logica

Volumn 80, Issue 2-3, 2005, Pages 393-430

  Vakarelov, Dimiter ^a  

^a UNIVERSITY OF SOFIA   (Bulgaria)

Author keywords

Counterexample semantics; Many valued logics; Nelson negation; Subminimal logic

Indexed keywords

EID: 26444515947     PISSN: 00393215     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11225-005-8476-5     Document Type: Conference Paper

References (32)

1. ARIELI, O., and A. AVRON, 'Reasoning with logical bilattices', Journal of Logic Language and Information, 5:25-63, 1996.
2. BIAŁYNICKI-BIRULA, A., and H. RASIOWA, 'On constructible falsity in constructive logic with strong negation', Colloquium Mathematicum, 6:287-310, 1958.
3. DUNN, J. M., 'Generalized ortho negation', in H. Wansing, Walter de Gruyer, (eds.), Negation, A notion in Focus, pp. 3-26, Berlin, New York, 1996.
4. FIDEL, M. M., 'An algebraic study of a prepositional system of Nelson', in Mathematical Logic, Proc. of the First Brasilian Conference, Campinas 1977, Lecture Notes in pure Appl. Math., 39, pp. 99-117, 1978.
5. FITTING, M., 'Bilattices and the semantics of logic programming', Journal of logic programming, 11(2):91-116, 1991.
6. GARGOV, G., 'Knowledge, uncertainty and ignorance in logic: bilattices and beyond', Journal of Applied Non-Classical Logics, 9:195-283, 1999.
7. GORANKO, V., 'The Craig Interpolation Theorem for Prepositional Logics with Strong Negation', Studia Logica, 44:291-317, 1985.
8. KRACHT, M., 'On extensions of intermediate logics by strong negation', Journal of Philosophical Logic, 27:49-73, 1998.
9. ŁUKASIEWICZ, J., 'O logice trójwartościowej', Ruch Filozoficzny, 5:170-171, 1920.
10. ŁUKASIEWICZ, J., 'A system of Modal Logic', The Journal of Computing Systems, 1:111-149 1953.
11. ŁUKASIEWICZ, J., Aristotle's syllogistic from the standpoint of modern formal logic, Oxford, Clarendon Press, 1957.
12. MARKOV, A. A., 'Constructive Logic', (in Russian), Uspekhi Matematicheskih Nauk 5:187-188, 1950.
13. NELSON, D., 'Constructible falsity', Journal of Symbolic Logic, 14:16-26, 1949.
14. ODINTSOV, S. P., 'Algebraic semantics for paraconsistent Nelson's Logic', Journal of Logic and Computation, 13(4):453-468, 2003.
15. ODINTSOV, S. P., 'On the Representation of N4-Lattices', Studia Logica, 76(3):385-405, 2004.
16. PEARCE, D. and G. WAGNER, 'Reasoning with negative information, I: Strong negation in logic programs', Language, Knowledge and Intensionality (Acta Filosophica Fenica), Helsinki, 49:405-439, 1990.
17. PEARCE, D., and G. WAGNER, 'Logic programming with strong negation', in P. Schroeder-Heister, (ed.), Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, No. 475, pp. 311-326, Springer-Verlag, Berlin, 1991.
18. PYNKO, A. P., 'Functional completeness and axiomatizability within Belnap's fourvalued logic and its expansions', Journal of Applied Non-Classical Logics, 9:61-105, 1999.
19. RASIOWA, H., 'N-lattices and constructive logic with strong negation', Fundamenta Mathematicae, 46:61-80, 1958.
20. RASIOWA, H., An algebraic approach to non-classical logic, North-Holland Publishing Company, Amsterdam, London, 1974.
21. SENDLEWSKI, A., 'Some investigations of varieties of N-lattices', Studia Logica, 43:257-280, 1984.
22. SENDLEWSKI, A., 'Nelson algebras through Heyting ones', Studia Logica, 49:106-126, 1990.
23. VAKARELOV, D., 'Ekstensionalnye Logiki', (in Russian), Doklady BAN, 25:1609-1612, 1972.
24. VAKARELOV, D., 'Models for constructive logic with strong negation', V Balkan Mathematical Congress, Abstracts, Beograd, 1974, 298.
25. VAKARELOV, D., 'Obobschennye reshetki Nelsona', Chetvertaya Vsesoyuznaya Conferenciya po Matematicheskoy Logike, tezisy dokladov i soobschtenii, Kishinev, 1976.
26. VAKARELOV, D., Theory of Negation in Certain Logical Systems. Algebraic and Semantical Approach, Ph.D. dissertation, University of Warsaw, 1976.
27. VAKARELOV, D., 'Notes on N-lattices and constructive logic with strong negation', Studia, Logica 36:109-125, 1977.
28. VAKARELOV, D., 'Intuitive Semantics for Some Three-valued Logics Connected with Information, Contrariety and subcontrariety', Studia, Logica, 48(4):565-575, 1989.
29. VAKARELOV, D., 'Consistency, Completeness and Negation', in Gr. Priest, R. Routley and J. Norman, (eds.), Paraconsistent Logic. Essays on the Inconsistent, pp. 328-363, Analiytica, Philosophia Verlag, Munhen, 1989.
30. VOROB'EV, N.N., 'Constructive prepositional calculus with strong negation', (in Russian), Doklady Academii Nauk SSSR., 85:456-468, 1952.
31. VOROB'EV, N. N., 'The problem of provability in constructive prepositional calculus with strong negation', (in Russian), Doklady Academii Nauk SSSR, 85:689-692, 1952.
32. VOROB'EV, N.N., 'Constructive prepositional calculus with strong negation', (in Russian), Transactions of Steklov's institute, 72:195-227, 1964.