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...
| Publicado en: | Journal of Philosophical Logic Vol. 47; no. 4; pp. 673 - 692 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Aug2018
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=130645743&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 130645743 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Aug2018 vid: 47 iid: 4 pid: 237 pub: Springer Nature artinfo: ui: 130645743 10.1007/s10992-017-9445-y ppf: 673 ppct: 19 formats: fmt: – @attributes: type: T – @attributes: type: P size: 524KB tig: atl: On Sahlqvist Formulas in Relevant Logic. aug: au: Badia, Guillermo affil: Department of Knowledge-Based Mathematical Systems, Johannes Kepler Universität, Linz, Austria su: Relevance logic Mathematical analysis Theory of knowledge Definability theory (Mathematical logic) Semantics sug: subj: Relevance logic Mathematical analysis Theory of knowledge Definability theory (Mathematical logic) Semantics keyword: Correspondence theory Frame definability Relevant logic Routley-Meyer semantics Sahlqvist’s correspondence ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2018. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2018 holdings: @attributes: islocal: N |
|---|