On axiomatizing Shramko-Wansing's logic

DOI10.1007/s11225-009-9181-6zbMath1170.03014MaRDI QIDQ1015493

Sergei P. Odintsov

Publication date: 8 May 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-009-9181-6

zbMATH Keywords

falsity entailment; truth entailment; axiomatizations; generalized truth values; twist-structures; trilattice \(SIXTEEN_3\)

Mathematics Subject Classification ID

03B60: Other nonclassical logic

03G10: Logical aspects of lattices and related structures

03B50: Many-valued logic

03B53: Paraconsistent logics

Related Items

\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics, Completeness and cut-elimination theorems for trilattice logics, Paraconsistent semantics for Pavelka style fuzzy sentential logic, Residuated bilattices, The power of Belnap: sequent systems for \(SIXTEEN_{3 }\), SEQUENT CALCULI FOR SOME TRILATTICE LOGICS

Cites Work

• Unnamed Item
• Some useful 16-valued logics: How a computer network should think
• Constructive negations and paraconsistency
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On extensions of intermediate logics by strong negation
• Algebraic Semantics for Paraconsistent Nelson's Logic
• A Remark on the Intersection of Tow Logics