Go to page
 

Bibliographic Metadata

Title
On Sahlqvist Formulas in Relevant Logic
AuthorBadia, Guillermo
Published in
Journal of Philosophical Logic, 2017,
Published2017
LanguageEnglish
Document typeJournal Article
Keywords (EN)Relevant logic / Routley-Meyer semantics / Correspondence theory / Frame definability / Sahlqvists correspondence
URNurn:nbn:at:at-ubl:3-1767 Persistent Identifier (URN)
DOI10.1007/s10992-017-9445-y 
Restriction-Information
 The work is publicly available
Files
On Sahlqvist Formulas in Relevant Logic [0.52 mb]
Links
Reference
Classification
Abstract (English)

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.

Stats
The PDF-Document has been downloaded 2 times.
License
CC-BY-License (4.0)Creative Commons Attribution 4.0 International License