A family of strict/tolerant logics

DOI10.1007/s10992-020-09568-3zbMath1496.03099OpenAlexW3083670915MaRDI QIDQ830368

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

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

Mathematics Subject Classification ID

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

Related Items (2)

Editorial introduction: substructural logics and metainferences ⋮ Validities, antivalidities and contingencies: a multi-standard approach

Cites Work

• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• Naive \textit{modus ponens}
• Tolerant, classical, strict
• Bilattices and the theory of truth
• The value of the four values
• A theory of truth that prefers falsehood
• Reasoning with logical bilattices
• Classical logic and the strict tolerant hierarchy
• A hierarchy of classical and paraconsistent logics
• Bilattices and Modal Operators
• Bilattices and the semantics of logic programming
• The structure of interlaced bilattices

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