FDE as a Base for Constructive Logic

DOI10.1007/978-3-030-31136-0_12MaRDI QIDQ3305615zbMATH OpenOpenAlexFDO

Authors 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

constructive logicFDEfirst-degree entailmentintuitionistic logicMichael Dummetttri-lattice SIXTEENtruth-value gluts

Mathematics Subject Classification ID

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

Recommendations

• A general framework for FDE-based modal logics
• Conditional \textbf{FDE} logics
• Proof systems for various \textsf{FDE}-based modal logics
• Natural deduction systems for logics in the FDE family
• Hybrid deduction-refutation systems for FDE-based logics
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Connexive Variants of Modal Logics Over FDE
• On definability of connectives and modal logics over \textbf{FDE}
• scientific article; zbMATH DE number 3887681
• LP, K3 and FDE as substructural logics

Cites work

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

Cited in

(7)

• 40 years of FDE: an introductory overview
• Analytic tableaux for intuitionistic first degree entailment
• FDE as the one true logic
• Towards a bridge over two approaches in connexive logic
• First degree entailment, symmetry and paradox
• Conditional \textbf{FDE} logics
• The value of the one value: \textit{exactly true logic} revisited

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

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