Truth, Falsehood, Information and Beyond: The American Plan Generalized

DOI10.1007/978-3-319-29300-4_11zbMath1439.03054OpenAlexW2469406979MaRDI QIDQ3305427

Yaroslav Shramko

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_11

zbMATH Keywords

trilatticebilatticemultilatticeAmerican planmulti-consequence logicover-determined valuationsunder-determined valuations

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (14)

Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Modal multilattice logic ⋮ Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ Paraconsistent double negations as classical and intuitionistic negations ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ First-degree entailment and its relatives ⋮ Provability multilattice logic ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi ⋮ Unnamed Item ⋮ Two proofs of the algebraic completeness theorem for multilattice logic ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• Editorial introduction. Truth values. I
• On axiomatizing Shramko-Wansing's logic
• A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• The logic of information structures
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• A duality theory for bilattices
• Positive modal logic
• Reasoning with logical bilattices
• Bi-facial truth: a case for generalized truth values
• The logic of generalized truth values and the logic of bilattices
• The logic of distributive bilattices
• The Trilattice of Constructive Truth Values

This page was built for publication: Truth, Falsehood, Information and Beyond: The American Plan Generalized