Model Definability in Relevant Logic.

It is shown that the classes of Routley–Meyer models which are axioma- tizable by a theory in a propositional relevant language with fusion and the Ackermann constant can be characterized by their closure under certain model- theoretic operations involving prime filter extensions, relevant directed bisimu- lations and disjoint unions.

Authors

• Guillermo Badia

Keywords

• directed bisimulations
• model definability
• model theory
• prime filter extensions
• relevant logic
• Routley–Meyer semantics