The Strict/Tolerant Idea and Bilattices

DOI10.1007/978-3-030-71258-7_8zbMath1496.03101OpenAlexW3188940866MaRDI QIDQ5020168

Melvin Fitting

Publication date: 4 January 2022

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

Full work available at URL: https://doi.org/10.1007/978-3-030-71258-7_8

zbMATH Keywords

many-valued logicbilatticeKleene logicfirst-degree entailmentlogic of paradoxstrict/tolerant

Mathematics Subject Classification ID

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

Related Items (2)

The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ The value of the one value: \textit{exactly true logic} revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values
• Some useful 16-valued logics: How a computer network should think
• Bilattices and the theory of truth
• The logic of paradox
• The value of the four values
• Truth and the liar in De Morgan-valued models
• A theory of truth that prefers falsehood
• Reasoning with logical bilattices
• A hierarchy of classical and paraconsistent logics
• A calculus of antinomics
• Bilattices and Modal Operators
• Bilattices and the semantics of logic programming
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• The structure of interlaced bilattices
• On notation for ordinal numbers

This page was built for publication: The Strict/Tolerant Idea and Bilattices