FDE as a Base for Constructive Logic

DOI10.1007/978-3-030-31136-0_12zbMath1469.03018OpenAlexW2997080499MaRDI QIDQ3305615

Andreas Kapsner

Publication date: 10 August 2020

Published in: New Essays on Belnap-Dunn Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31136-0_12

zbMATH Keywords

intuitionistic logicconstructive logicfirst-degree entailmentFDEMichael Dummetttri-lattice SIXTEENtruth-value gluts

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

The value of the one value: \textit{exactly true logic} revisited ⋮ Towards a bridge over two approaches in connexive logic

Cites Work

• Nothing but the truth
• Contradictory information: too much of a good thing
• Logics and falsifications. A new perspective on constructivist semantics
• Prospect Theory: An Analysis of Decision under Risk
• Belnap's Four-Valued Logic and De Morgan Lattices
• The Trilattice of Constructive Truth Values

This page was built for publication: FDE as a Base for Constructive Logic