Refine search
Actions for selected content:
1 results
MODELS FOR OFFICIAL ENTAILMENT
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 06 August 2025, pp. 1-22
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
This paper shows how to set up Fine’s “theory-application” type semantics so as to model the use-unrestricted “Official” consequence relation for a range of relevant logics. The frame condition matching the axiom
$(((A \to A) \land (B \to B)) \to C) \to C$—the characteristic axiom of the very first axiomatization of the relevant logic E—is shown forth. It is also shown how to model propositional constants within the semantic framework. Whereas the related Routley–Meyer type frame semantics fails to be strongly complete with regards to certain contractionless logics such as B, the current paper shows that Fine’s weak soundness and completeness result can be extended to a strong one also for logics like B.
