We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On Sahlqvist Formulas in Relevant Logic.
- Authors
Badia, Guillermo
- Abstract
This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a given first order property calculable by a Sahlqvist-van Benthem algorithm. Furthermore, we show that some classes of Routley-Meyer frames definable by a relevant formula are not elementary.
- Subjects
RELEVANCE logic; MATHEMATICAL analysis; THEORY of knowledge; DEFINABILITY theory (Mathematical logic); SEMANTICS
- Publication
Journal of Philosophical Logic, 2018, Vol 47, Issue 4, p673
- ISSN
0022-3611
- Publication type
Article
- DOI
10.1007/s10992-017-9445-y