A cut-free system for 16-valued reasoning

Bulletin of the Section of Logic

Volumn 34, Issue 4, 2005, Pages 213-225

  Kamide, Norihiro ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (8)

1. O. Arieli and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5 (1996), pp. 25-63.
2. 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.
3. N. Kamide, Gentzen-type methods for bilattice negation, Studia Logica 80 (2005), pp. 265-289.
4. A. P. Pynko, Functional completeness and axiomatizability within Belnap's four-valued logic and its expansions, Journal of Applied Non-Classical Logic 9 (1999), pp. 61-105.
5. W. Rautenberg, Klassische und nicht-klassische aussagenlogik, Vieweg, Braunschweig, 1979.
6. 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.
7. Y. Shramko and H. Wansing, Some useful 16-valued logics: how a computer network should think, Journal of Philosophical Logic 34 (2) (2005), pp. 121-153.
8. H. Wansing, Displaying the modal logic of consistency, Journal of Symbolic Logic 64 (1999), pp. 1573-1590.