Hilbert-style axiomatization of first-degree entailment and a family of its extensions

DOI10.1016/j.apal.2021.103011zbMath1490.03015OpenAlexW3172446919MaRDI QIDQ2041966

Yaroslav Shramko

Publication date: 26 July 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2021.103011

zbMATH Keywords

Hilbert systemfirst-degree entailmentextension of logic\textsc{Fmla-Fmla} frameworkFrege rule

Mathematics Subject Classification ID

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

Related Items (2)

The value of the one value: \textit{exactly true logic} revisited ⋮ Qualitative reasoning in a two-layered framework

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 40 years of FDE: an introductory overview
• An algebraic view of super-Belnap logics
• First-degree entailment and its relatives
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Positive modal logic
• Nothing but the truth
• Contradictory information: too much of a good thing
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• Begründung einer strengen Implikation
• Entailment and relevance¹
• The relative efficiency of propositional proof systems
• Belnap's Four-Valued Logic and De Morgan Lattices
• An infinity of super-Belnap logics

This page was built for publication: Hilbert-style axiomatization of first-degree entailment and a family of its extensions