Neighbourhood Semantics for Quantified Relevant Logics

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F22%3A00547631" target="_blank" >RIV/67985807:_____/22:00547631 - isvavai.cz</a>
Result on the web
<a href="https://dx.doi.org/10.1007/s10992-021-09637-1" target="_blank" >https://dx.doi.org/10.1007/s10992-021-09637-1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10992-021-09637-1" target="_blank" >10.1007/s10992-021-09637-1</a>

Result language
angličtina
Original language name
Neighbourhood Semantics for Quantified Relevant Logics
Original language description
The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the ternary relation semantic framework, most famously developed by Sylvan (née Routley) and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics allows one to characterise a still wider range of logics, and provides the grist for some new results. To showcase this, we show, using some non-augmented models, that some quantified relevant logics are not conservatively extended by connectives the addition of which do conservatively extend the associated propositional logics, namely fusion and the dual implication. We close by proposing some further uses to which the neighbourhood Mares-Goldblatt semantics may be put.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
<a href="/en/project/GJ18-19162Y" target="_blank" >GJ18-19162Y: Non-classical logical models of information dynamics</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2022
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)