Disjunction and Negation in Information Based Semantics

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F21%3A00547117" target="_blank" >RIV/67985955:_____/21:00547117 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1007/978-3-030-88853-4_22" target="_blank" >https://doi.org/10.1007/978-3-030-88853-4_22</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-88853-4_22" target="_blank" >10.1007/978-3-030-88853-4_22</a>

Result language
angličtina
Original language name
Disjunction and Negation in Information Based Semantics
Original language description
We investigate an information based generalization of the incompatibility-frame treatment of logics with non-classical negation connectives. Our framework can be viewed as an alternative to the neighbourhood semantics for extensions of lattice logic by various negation connectives, investigated by Hartonas. We set out the basic semantic framework, along with some correspondence results for extensions. We describe three kinds of constructions of canonical models and show that double negation law is not canonical with respect to any of these constructions. We also compare our semantics to Hartonas’.
Czech name
—
Czech description
—

Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
<a href="/en/project/GM21-23610M" target="_blank" >GM21-23610M: Logical Structure of Information Channels</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

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

Similar results(10)