Abstract
This paper presents a Hilbert-style system for the logic of first-degree entailment defined in a Fmla-Fmla framework. The effective use of this formulation as a basis for a whole family of systems extending the logic of first-degree entailment in various directions is shown. By systematizing this family, some new systems are uncovered, and some other well-established logics (such as the first-degree entailment fragment of Priest's Logic of Paradox) obtain new axiomatization. Semantics for the key systems from the family is formulated.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have