Gentzen-type methods for bilattice negation

Studia Logica

Volumn 80, Issue 2-3, 2005, Pages 265-289

  Kamide, Norihiro ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

Bilattice negation; Completeness; Sequent calculus; Strong negation; Substructural logic

Indexed keywords

EID: 26444496490     PISSN: 00393215     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11225-005-8471-x     Document Type: Conference Paper

References (28)

1. ALMUKDAD, A., and D. NELSON, 'Constructible falsity and inexact predicates', Journal of Symbolic Logic 49:231-233, 1984.
2. ARIELI, O., and A. AVRON, 'The value of the four values', Artificial Intelligence 102:97-141, 1998.
3. ARIELI, O., and A. AVRON, 'Reasoning with logical bilattices', Journal of Logic, Language and Information 5:25-63, 1996.
4. AVRON, A., 'Negation: two points of view', in D. Gabbay and H. Wansing, (eds.), What is negation?, pp. 3-22, Kluwer Academic Publishers, 1999.
5. BELNAP, N. D., 'A useful four-valued logic', in G. Epstein and J. M. Dunn, (eds.), Modern Uses of Multiple-Valued Logic, pp. 7-37, Dordrecht: Reidel, 1977.
6. CROLARD, T., 'Subtractive logic', Theoretical Computer Science 254:151-185, 2001.
7. FITTING, M., 'Bilattices and the semantics of logic programming', Journal of Logic Programming 11(2):91-116, 1991.
8. GARGOV, G., 'Knowledge, uncertainty and ignorance in logic: bilattices and beyond', Journal of Applied Non-Classical Logics 9:195-283, 1999.
9. GINSBERG, M. L., 'Multivalued logics: a uniform approach to reasoning in AI', Computer Intelligence 4:256-316, 1988.
10. GIRARD, J.-Y., 'Linear logic', Theoretical Computer Science 50:1-102, 1987.
11. KAMIDE, N., 'Relevance principle for substructural logics with mingle and strong negation', Journal of Logic and Computation 12:1-16, 2002.
12. KAMIDE, N., 'Sequent calculi for intuitionistic linear logic with strong negation', Logic Journal of the IGPL 10 (6):653-678, 2002.
13. KAMIDE, N., 'Quantized linear logic, involutive quantales and strong negation', Studia Logica 77:355-384, 2004.
14. KAMIDE, N., 'Combining soft linear logic and spatio-temporal operators', Journal of Logic and Computation 14(5):625-650, 2004.
15. KAMIDE, N., 'A relationship between Rauszer's H-B logic and Nelson's constructive logic', Bulletin of the Section of Logic 33(4):237-249, 2004.
16. NELSON, D., 'Constructible falsity', Journal of Symbolic Logic 14:16-26, 1949.
17. ODINTSOV, S. P. and H. WANSING, 'Constructive predicate logic and constructive modal logic. Formal duality versus semantical duality', in V. Hendricks et al., (eds.) Proceedings of First-Order Logic 75 (FOL 75), pp. 269-286, Logos Verlag, Berlin, 2004.
18. OKADA, M., 'Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic', Theoretical Computer Science 227:333-396, 1999.
19. ONO, H., 'Logic for information science' (in japanease), Nihon Hyouron shya, 297 pages, 1994.
20. PYNKO, Alexej P., 'Functional completeness and axiomatizability within Belnap's four-valued logic and its expansions', Journal of Applied Non-Classical Logics 9:61-105, 1999.
21. PRIEST, G. and R. ROUTLY., 'Introduction: paraconsistent logics', Studia Logica 43:3-16, 1982.
22. SCHÖTER, A., 'Evidental bilattice logic and lexical inference', Journal of Logic, Language, and Information 5:65-105, 1996.
23. SHRAMKO, Y., J. M. DUNN, and T. TAKENAKA, 'The trilattice of constructive truth values', Journal of Logic and Computation 11(6):761-788, 2001.
24. WAGNER., G., 'Logic programming with strong negation and inexact predicates', Journal of Logic and Computation 1(6):835-859, 1991.
25. WANSING, H., 'The logic of information structures', Lecture Notes in Artificial Intelligence 681, pp. 1-163, Springer-Verlag, 1993.
26. WANSING, H., 'Higher-arity Gentzen systems for Nelson's logics', in J. Nida-Rümelin (ed.), Proceedings of the 3rd international congress of the Society for Analytical Philosophy (Rationality, Realism, Revision), pp. 105-109, Walter de Gruyter·Berlin·New York, 1999.
27. WANSING, H., 'Displaying the modal logic of consistency', Journal of Symbolic Logic 64:1573-1590, 1999.
28. WANSING, H., 'Connexive modal logic,' in R. Schmidt et al., (eds.), Preliminary Conference Proceedings on AiML-2004: Advances in Modal Logic, University of Manchester Technical Report Series UMCS-04-9-1, pp. 387-399, 2004.