On Axiomatizing Shramko-Wansing’s Logic
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 |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
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.
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.
How a Computer Should Think.Nuel Belnap - 1977 - In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.
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.
View all 7 references / Add more references
Citations of this work BETA
Non-Deterministic Algebraization of Logics by Swap Structures.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - forthcoming - Logic Journal of the IGPL.
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.
Analytic Tableaux for All of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.
Representation of Interlaced Trilattices.Umberto Rivieccio - 2013 - Journal of Applied Logic 11 (2):174-189.
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
43 ( #194,576 of 2,266,148 )
Recent downloads (6 months)
7 ( #180,844 of 2,266,148 )
2009-04-04
Total views
43 ( #194,576 of 2,266,148 )
Recent downloads (6 months)
7 ( #180,844 of 2,266,148 )
How can I increase my downloads?
Downloads
