Disjunction and Negation in Information Based Semantics
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Disjunction and Negation in Information Based Semantics
Popis výsledku v původním jazyce
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’.
Název v anglickém jazyce
Disjunction and Negation in Information Based Semantics
Popis výsledku anglicky
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’.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
<a href="/cs/project/GM21-23610M" target="_blank" >GM21-23610M: Logická struktura informačních kanálů</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Logic, Language, Information, and Computation
ISBN
978-3-030-88852-7
ISSN
—
e-ISSN
—
Počet stran výsledku
17
Strana od-do
355-371
Název nakladatele
Springer
Místo vydání
Cham
Místo konání akce
online
Datum konání akce
5. 10. 2021
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—