Natural deduction systems for logics in the FDE family

DOI10.1007/978-3-030-31136-0_16MaRDI QIDQ3305619zbMATH OpenOpenAlexFDO

Authors Graham Priest

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_16

zbMATH Keywords

LPfirst-degree entailmentnatural deduction systemsFDEeK\(_3\)paraconsistent weak Kleene

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• A natural deduction system for first degree entailment
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Natural deduction for three-valued regular logics
• Natural deduction systems of some logics with truth-value gluts and truth-value gaps

Cites work

• scientific article; zbMATH DE number 3472024 (Why is no real title available?)
• scientific article; zbMATH DE number 979859 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• An introduction to non-classical logic. From if to is
• Characterizing logical consequence in paraconsistent weak Kleene
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Paraconsistency and analyticity
• Plurivalent logics

Cited in

(23)

• Semantical analysis of weak Kleene logics
• Natural deduction systems of some logics with truth-value gluts and truth-value gaps
• scientific article; zbMATH DE number 871235 (Why is no real title available?)
• Proof theory of paraconsistent weak Kleene logic
• Rewriting Techniques and Applications
• Natural deduction for the finite least fixed point logic with an infinitary rule
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• FDE as a Base for Constructive Logic
• A generalization of Beall's off-topic interpretation
• Towards a Canonical Classical Natural Deduction System
• Unified sequent calculi and natural deduction systems for until-free linear-time temporal logics
• Editorial introduction
• A natural deduction system for first degree entailment
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
• A note on FDE ``all the way up
• K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
• FDE: a logic of clutters
• A Tale of Excluding the Middle
• Unified natural deduction for logics of strong negation
• On bivalent semantics and natural deduction for some infectious logics
• 40 years of FDE: an introductory overview
• scientific article; zbMATH DE number 7599926 (Why is no real title available?)
• A unified Gentzen-style framework for until-free LTL

This page was built for publication: Natural deduction systems for logics in the FDE family

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