On axiomatizing Shramko-Wansing's logic

DOI10.1007/s11225-009-9181-6zbMath1170.03014OpenAlexW2146517591MaRDI 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 entailmenttruth entailmentaxiomatizationsgeneralized truth valuestwist-structurestrilattice \(SIXTEEN_3\)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (20)

Inconsistency-Tolerant Multi-Agent Calculus ⋮ Gentzenization of trilattice logics ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Residuated bilattices ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ Completeness and cut-elimination theorems for trilattice logics ⋮ The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics ⋮ Representation of interlaced trilattices ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Interpolation in 16-valued trilattice logics ⋮ Bi-facial truth: a case for generalized truth values ⋮ Paraconsistent semantics for Pavelka style fuzzy sentential logic ⋮ SEQUENT CALCULI FOR SOME TRILATTICE LOGICS ⋮ Two Consistent Many-Valued Logics for Paraconsistent Phenomena ⋮ A non-inferentialist, anti-realistic conception of logical truth and falsity ⋮ The logic of generalized truth values and the logic of bilattices ⋮ Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)

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

This page was built for publication: On axiomatizing Shramko-Wansing's logic