A family of strict/tolerant logics

DOI10.1007/S10992-020-09568-3MaRDI QIDQ830368zbMATH OpenOpenAlexFDO

Authors Melvin Fitting

Publication date 7 May 2021

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

Full work available at URL https://doi.org/10.1007/s10992-020-09568-3

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• Strict/tolerant logics built using generalized weak Kleene logics
• The strict/tolerant idea and bilattices
• The strict/tolerant family continued: quantifiers and modalities
• The logics of strict-tolerant logic
• ST, LP and tolerant metainferences

Cites work

• A hierarchy of classical and paraconsistent logics
• A theory of truth that prefers falsehood
• Bilattices and Modal Operators
• Bilattices and the semantics of logic programming
• Bilattices and the theory of truth
• Classical logic and the strict tolerant hierarchy
• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• Naive \textit{modus ponens}
• Reasoning with logical bilattices
• The logics of strict-tolerant logic
• The structure of interlaced bilattices
• The value of the four values
• Tolerant, classical, strict

Cited in

(17)

• Classical logic and the strict tolerant hierarchy
• Validities, antivalidities and contingencies: a multi-standard approach
• Editorial introduction: substructural logics and metainferences
• ST, LP and tolerant metainferences
• Strict/tolerant logics built using generalized weak Kleene logics
• The strict/tolerant idea and bilattices
• The strict/tolerant family continued: quantifiers and modalities
• A family of metainferential logics
• On three-valued presentations of classical logic
• Simple tableaus for simple intuitionistic logics
• A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
• Meta-arguments in heterogeneous logics and how to evaluate them
• Multilateral supervaluationism and classicality
• Meta-classical non-classical logics
• Simple tableaus for simple logics
• Web consequence untangled
• Appreciating global validity

This page was built for publication: A family of strict/tolerant logics

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