Sequent Calculi for some trilattice logics

Review of Symbolic Logic

Volumn 2, Issue 2, 2009, Pages 374-395

  Kamide, Norihiro ^a   Wansing, Heinrich ^b  

^a WASEDA UNIVERSITY   (Japan)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84989208858     PISSN: 17550203     EISSN: 17550211     Source Type: Journal    
DOI: 10.1017/S1755020309090212     Document Type: Article

References (19)

1. Almukdad, A., Nelson, D. (1984). Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49, 231-233.
2. Anderson, A. R., Belnap, N. D. (1975). Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton, NJ: Princeton University Press.
3. Arieli, O., Avron, A. (1996). Reasoning with logical bilattices. Journal of Logic, Language and Information, 5(1), 25-63.
4. Belnap, N. D. (1977a). How computer should think. In Ryle, G., editor. Contemporary Aspects of Philosophy. Stocksfield, UK: Oriel Press, pp. 30-56.
5. Belnap, N. D. (1977b). A useful four-valued logic. In Dunn, J. M., Epstein, G., editors. Modern Uses of Multiple-Valued Logic. Dordrecht, The Netherlands: Reidel, pp. 5-37.
6. Chagrov, A., Zakharyaschev, M. (1997). Modal Logic. Oxford, UK: Clarendon Press.
7. Dunn, J. M. (1976). Intuitive semantics for first-degree entailment and 'coupled trees'. Philosophical Studies, 29(3), 149-168.
8. Gurevich, Y. (1977). Intuitionistic logic with strong negation. Studia Logica, 36, 49-59.
9. Kamide, N. (2002). Sequent calculi for intuitionistic linear logic with strong negation. Logic Journal of the IGPL, 10(6), 653-678.
10. Kamide, N. (2005a). A cut-free system for 16-valued reasoning. Bulletin of the Section of Logic, 34(4), 213-226.
11. Kamide, N. (2005b). Gentzen-type methods for bilattice negation. Studia Logica, 80(2-3), 265-289.
12. Kamide, N., Wansing, H. (2008). Alternative semantics for trilattice logics (manuscript).
13. Nelson, D. (1949). Constructible falsity. Journal of Symbolic Logic, 14, 16-26.
14. Odintsov, S. P. (2009). On axiomatizing Shramko-Wansing's logic. Studia Logica, 91(3), 407-428.
15. Rautenberg, W. (1979). Klassische und nichtklassische Aussagenlogik. Braunschweig, Germany: Vieweg.
16. Shramko, Y., Wansing, H. (2005). Some useful 16-valued logics: How a computer network should think. Journal of Philosophical Logic, 34(2), 121-153.
17. Shramko, Y., Wansing, H. (2006). Hyper-contradictions, generalized truth values and logics of truth and falsehood. Journal of Logic, Language and Information, 15(4), 403-424.
18. Wansing, H. (1999). Higher-arity Gentzen systems for Nelson's logics. In Nida-Rümelin, J., editor. Proceedings of the 3rd International Congress of the Society for Analytical Philosophy (Rationality, Realism, Revision), 1997. Berlin: Walter de Gruyter, pp. 105-109.
19. Wansing, H., Shramko, Y. (2008). An note on two ways of defining a many-valued logic. In Pelis, M., editor. Logica Yearbook 2007. Prague, Czech Republic: Filosofia, pp. 255-266.