On Sahlqvist Formulas in Relevant Logic

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...

Descripción completa

Detalles Bibliográficos
Autor principal: Badia, Guillermo
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2017
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6060809/
https://www.ncbi.nlm.nih.gov/pubmed/30100625
http://dx.doi.org/10.1007/s10992-017-9445-y
_version_ 1783342090729553920
author Badia, Guillermo
author_facet Badia, Guillermo
author_sort Badia, Guillermo
collection PubMed
description 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.
format Online
Article
Text
id pubmed-6060809
institution National Center for Biotechnology Information
language English
publishDate 2017
publisher Springer Netherlands
record_format MEDLINE/PubMed
spelling pubmed-60608092018-08-09 On Sahlqvist Formulas in Relevant Logic Badia, Guillermo J Philos Logic Article 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. Springer Netherlands 2017-08-22 2018 /pmc/articles/PMC6060809/ /pubmed/30100625 http://dx.doi.org/10.1007/s10992-017-9445-y Text en © The Author(s) 2017 Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
spellingShingle Article
Badia, Guillermo
On Sahlqvist Formulas in Relevant Logic
title On Sahlqvist Formulas in Relevant Logic
title_full On Sahlqvist Formulas in Relevant Logic
title_fullStr On Sahlqvist Formulas in Relevant Logic
title_full_unstemmed On Sahlqvist Formulas in Relevant Logic
title_short On Sahlqvist Formulas in Relevant Logic
title_sort on sahlqvist formulas in relevant logic
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6060809/
https://www.ncbi.nlm.nih.gov/pubmed/30100625
http://dx.doi.org/10.1007/s10992-017-9445-y
work_keys_str_mv AT badiaguillermo onsahlqvistformulasinrelevantlogic

Ejemplares similares