Studia Logica 91 (3):407 - 428 (2009)
Abstract |
This work treats the problem of axiomatizing the truth and falsity consequence relations, $ \vDash _t $ and $ \vDash _f $, determined via truth and falsity orderings on the trilattice SIXTEEN₃. The approach is based on a representation of SIXTEEN₃ as a twist-structure over the two-element Boolean algebra.
|
Keywords | generalized truth value twist-structure axiomatics |
Categories | (categorize this paper) |
DOI | 10.1007/s11225-009-9181-6 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
How a Computer Should Think.Nuel Belnap - 1977 - In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.
Notes on N-Lattices and Constructive Logic with Strong Negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.
View all 7 references / Add more references
Citations of this work BETA
Non-Deterministic Algebraization of Logics by Swap Structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
The Logic of Generalized Truth Values and the Logic of Bilattices.Sergei P. Odintsov & Heinrich Wansing - 2015 - Studia Logica 103 (1):91-112.
Kripke Completeness of Bi-Intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.
Sequent Calculi for Some Trilattice Logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.
View all 14 citations / Add more citations
Similar books and articles
A Few More Useful 8-Valued Logics for Reasoning with Tetralattice Eight.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265 - 280.
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.
From the Editors.Heinrich Wansing, Sergei Odintsov & Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):153-157.
Analytics
Added to PP index
2009-04-04
Total views
50 ( #198,383 of 2,404,067 )
Recent downloads (6 months)
2 ( #360,240 of 2,404,067 )
2009-04-04
Total views
50 ( #198,383 of 2,404,067 )
Recent downloads (6 months)
2 ( #360,240 of 2,404,067 )
How can I increase my downloads?
Downloads