First-degree entailment and binary consequence systems

MaRDI QIDQ5869726zbMATH OpenFDO

Authors Yaroslav Shramko

Publication date 28 September 2022

zbMATH Keywords

logical frameworksfirst-degree entailmentconsequence systemsuper-Belnap logicsstructural reasoningbinary consequence

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cited in

(8)

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

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)