The strict/tolerant idea and bilattices

DOI10.1007/978-3-030-71258-7_8MaRDI QIDQ5020168zbMATH OpenOpenAlexFDO

Authors 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

bilatticefirst-degree entailmentKleene logiclogic of paradoxmany-valued logicstrict/tolerant

Mathematics Subject Classification ID

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

Recommendations

• A family of strict/tolerant logics
• Strict/tolerant logics built using generalized weak Kleene logics
• The strict/tolerant family continued: quantifiers and modalities
• The logics of strict-tolerant logic
• scientific article; zbMATH DE number 1735917

Cites work

• A calculus of antinomics
• A hierarchy of classical and paraconsistent logics
• A theory of truth that prefers falsehood
• An introduction to non-classical logic. From if to is
• Bilattices and Modal Operators
• Bilattices and the semantics of logic programming
• Bilattices and the theory of truth
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 2019873 (Why is no real title available?)
• scientific article; zbMATH DE number 2170851 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• scientific article; zbMATH DE number 6287555 (Why is no real title available?)
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• On notation for ordinal numbers
• Reasoning with logical bilattices
• Some useful 16-valued logics: How a computer network should think
• The logic of paradox
• The structure of interlaced bilattices
• The value of the four values
• Tolerant, classical, strict
• Truth and falsehood. An inquiry into generalized logical values
• Truth and the liar in De Morgan-valued models

Cited in

(12)

• Tolerant, classical, strict
• scientific article; zbMATH DE number 834563 (Why is no real title available?)
• Strict/tolerant logics built using generalized weak Kleene logics
• The strict/tolerant family continued: quantifiers and modalities
• 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
• Exact truthmaker semantics for modal logics
• Simple tableaus for simple intuitionistic logics
• Non-transitive counterparts of every Tarskian logic
• Meta-classical non-classical logics
• Web consequence untangled
• A family of strict/tolerant logics

This page was built for publication: The strict/tolerant idea and bilattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020168)