article
Model definability in relevant logic
Research footprint
At a glance
- Citations
- 0
- References
- 0
- Comments
- 0
Paper overview
Abstract
It is shown that the classes of Routley-Meyer models which are axiomatizable 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 bisimulations and disjoint unions.
Record transparency
Publication details
- OpenAlex
- W2898619459
- Document type
- article
- Language
- EN
- Source
- Queensland's institutional digital repository (The University of Queensland)
- Last metadata update
Comments
Log in to join the discussion.