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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/s10992-017-9445-y | J. Philosophical Logic |
Keywords | Field | DocType |
Correspondence theory,Frame definability,Relevant logic,Routley-Meyer semantics,Sahlqvist’s correspondence | Discrete mathematics,First order,Sahlqvist formula,Algorithm,Relevance logic,Mathematics,Semantics | Journal |
Volume | Issue | ISSN |
47 | 4 | 0022-3611 |
Citations | PageRank | References |
0 | 0.34 | 7 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
guillermo badia | 1 | 5 | 5.53 |