Four-valued logic

DOI10.1305/ndjfl/1063372199zbMath1034.03021OpenAlexW1496035301MaRDI QIDQ1422105

J. Michael Dunn, Katalin Bimbó

Publication date: 4 February 2004

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1063372199

zbMATH Keywords

sequent calculusKripke semanticssubstructural logicsrelevance logictableaux systemlattice representationLambek calculi

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (12)

Current trends in substructural logics ⋮ Generalized Kripke frames ⋮ Four-valued paradefinite logics ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond ⋮ Non-distributive relatives of ETL and NFL ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi ⋮ A relational semantics for the logic of bounded lattices ⋮ A note on FDE ``all the way up ⋮ St. Alasdair on Lattices Everywhere ⋮ Relational semantics for Kleene logic and action logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A topological representation theory for lattices
• Stone duality for lattices
• Intuitive semantics for first-degree entailments and `coupled trees'
• Untersuchungen über das logische Schliessen. I
• Positive modal logic
• Varieties of complex algebras
• Semantics for structurally free logics LC+
• Kripke models for linear logic
• Representations of Lattices by Sets
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: Four-valued logic