First-degree entailment and binary consequence systems

MaRDI QIDQ5869726FDOQ5869726

Authors: Yaroslav Shramko 

Publication date: 28 September 2022

Recommendations

• First-degree entailment and structural reasoning
• First-degree entailment and its relatives
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions
• An extended first-order Belnap-Dunn logic with classical negation
• A natural deduction system for first degree entailment

zbMATH Keywords

logical frameworksfirst-degree entailmentconsequence systemsuper-Belnap logicsstructural reasoningbinary consequence

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (8)

• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• First-degree entailment and binary consequence systems
• A natural deduction system for first degree entailment
• A note on FDE ``all the way up
• First-degree entailment and its relatives
• First-degree entailment and structural reasoning
• Hilbert-style axiomatization of first-degree entailment and a family of its extensions

This page was built for publication: First-degree entailment and binary consequence systems

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