First-degree entailment and binary consequence systems

MaRDI QIDQ5883191FDOQ5883191

Authors: Yaroslav Shramko 

Publication date: 29 March 2023

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

zbMATH Keywords

logical frameworksfirst-degree entailmentconsequence systemsuper-Belnap logicsstructural reasoningbinary consequence

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)

Cited In (1)

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