First-degree entailment and binary consequence systems

MaRDI QIDQ5883191zbMATH OpenFDO

Authors Yaroslav Shramko

Publication date 29 March 2023

zbMATH Keywords

binary consequenceconsequence systemfirst-degree entailmentlogical frameworksstructural reasoningsuper-Belnap logics

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) Intermediate logics (03B55)

Recommendations

• First-degree entailment and binary consequence systems
• 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
• A natural deduction system for first degree entailment

Cited in

(2)

• Hilbert-style axiomatization of first-degree entailment and a family of its extensions
• Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic

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 Q5883191)