A relationship between rauszer's H-B logic and nelson's logic

Bulletin of the Section of Logic

Volumn 33, Issue 4, 2004, Pages 237-249

  Kamide, Norihiro ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 26444524152     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (25)

1. A. R. Anderson, N. D. Belnap, et al., Entailment: the logic of relevance and necessity, Vol. 1, Princeton University Press, 1975.
2. A. R. Anderson, N. D. Belnap, J. M. Dunn, et al., Entailment: the logic of relevance and necessity, Vol. 2, Princeton University Press, 1992.
3. A. Almukdad and D. Nelson, Constructible falsity and inexact predicates, Journal of Symbolic Logic 49 (1984), pp. 231-233.
4. N. D. Belnap, A useful four-valued logic, [in:] Modern Uses of Multiple-Valued Logic, G. Epstein and J. M. Dunn, eds., Dordrecht: Reidel, pp. 7-37, 1977.
5. J. Czermak, A remark on Gentzen's calculus of sequents, Notre Dame Journal of Formal Logic 18 (1977), pp. 471-474.
6. J. M. Dunn, Partiality and its dual, Studia Logica 65 (2000), pp. 5-40.
7. J. M. Font, Belnap's four-valued logic and de Morgan lattices, Logic Journal of the IGPL 5 (3), (1997), pp. 413-440.
8. G. Gargov, Knowledge, uncertainty and ignorance in logic: bilat-tices and beyond, Journal of Applied Non-Classical Logics 9 (1999), pp. 195-283.
9. R. Gore, Dual intuitionistic logic revisited, Lecture Notes in Artificial Intelligence 1847 (2000), Springer-Verlag, pp. 252-267.
10. N. D. Goodman, The logic of contradiction, Z. Math. Logik Grundlagen Math 27 (1981), pp. 119-126.
11. N. Kamide, Sequent calculi for intuitionistic linear logic with strong negation, Logic Journal of the IGPL 10 (6), (2002), pp. 653-678.
12. N. Kamide, A note on dual-intuitionistic logic, Mathematical Logic Quarterly 49 (5), (2003), pp. 519-524.
13. P. Lukowski, A deductive-reductive form of logic: intuitionistic S4 modalities, Logic and Logical Philosophy 10 (2002), pp. 79-91.
14. D. Nelson, Constructible falsity, Journal of Symbolic Logic 14 (1949), pp. 16-26.
15. S. P. Odintsov, On the embedding of Nelson's logics, Bulletin of the Section of Logic 31 (4), (2002), pp. 241-248.
16. D. Pearce, Reasoning with negative information II: Hard nega-tion, strong negation and logic programs, Lecture Notes in Computer Science 619 (1992), pp. 63-79.
17. A. P. Pynko, Characterizing Belnap's logic via de Morgan's laws, Mathematical Logic Quarterly 41 (1995), pp. 442-454.
18. C. Rauszer, A formalization of the propositional calculus of H-B logic, Studia Logica 33 (1), (1974), pp. 23-34.
19. C. Rauszer, An algebraic and Kripke-style approach to certain extension of intuitionistic logic, Dissertations Mathematicae CLXVII, PWN Warazawa, 1980.
20. W. Rautenberg, Klassische und nicht-klassische aussagen-logik, Vieweg, Braunschweig, 1979.
21. Y. Shramko, The logic of scientific research, Dresden Preprints in Theoretical Philosophy and Philosophical Logic ISSUE 7-2004, 13 pages, 2003.
22. Y. Shramko, J. M. Dunn and T. Takenaka, The trilattice of constructive truth values, Journal of Logic and Computation 11 (6), (2001), pp. 761-788.
23. I. Urbas, Dual-intuitionistic logic, Notre Dame Journal of Formal Logic 37 (1996), pp. 440-451.
24. H. Wansing, Displaying the modal logic of consistency, Journal of Symbolic Logic 64 (1999), pp. 1573-1590.
25. F. Wolter, On logics with coimplication, Journal of Philosoph-ical Logic 27 (1998), pp. 353-387.