Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3

DOI10.1007/s10992-012-9264-0zbMath1338.03048OpenAlexW1980132852MaRDI QIDQ484107

Yong-Cai Geng, Sumit K. Garg

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-012-9264-0

zbMATH Keywords

many-valued logicparaconsistent logicsŁukasiewicz 3-valued logictwo-valued under-determined and over-determined interpretations

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (4)

The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value

Uses Software

• MaGIC
• MaTest

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The basic constructive logic for a weak sense of consistency
• An axiomatization of the finite-valued Łukasiewicz calculus
• A method of axiomatization of Lukasiewicz logics
• The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
• The semantics of entailment. III
• Many-valued logics and Suszko's thesis revisited
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• First-order Gödel logics
• Fragments of Many-Valued Statement Calculi
• Natural 3-valued logics—characterization and proof theory
• Logics of Formal Inconsistency
• A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics
• The Semantics of First Degree Entailment
• Handbook of philosophical logic. Vol. 2.

This page was built for publication: Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3