A nonstandard semantic framework for intuitionistic logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F16%3A10326307" target="_blank" >RIV/00216208:11210/16:10326307 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

A nonstandard semantic framework for intuitionistic logic

Popis výsledku v původním jazyce

In this paper, a nonstandard semantic framework for intuitionistic logic is introduced and its relation to Kripke semantics is studied. The main peculiarity of the framework is that it allows for information states that support a disjunction without supporting any of its disjuncts. The semantic structures of the framework are called information models and they consist of a join-semilattice with a zero element and a valuation assigning to every atomic formula an ideal in the algebraic structure. A method will be described that transforms any Kripke model into an equivalent information model and any information model into an equivalent Kripke model. It will also be shown how to extend the framework to the case of first-order logic.

Název v anglickém jazyce

A nonstandard semantic framework for intuitionistic logic

Popis výsledku anglicky

In this paper, a nonstandard semantic framework for intuitionistic logic is introduced and its relation to Kripke semantics is studied. The main peculiarity of the framework is that it allows for information states that support a disjunction without supporting any of its disjuncts. The semantic structures of the framework are called information models and they consist of a join-semilattice with a zero element and a valuation assigning to every atomic formula an ideal in the algebraic structure. A method will be described that transforms any Kripke model into an equivalent information model and any information model into an equivalent Kripke model. It will also be shown how to extend the framework to the case of first-order logic.

Druh

D - Stať ve sborníku

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP401%2F11%2F0371" target="_blank" >GAP401/11/0371: Apriorní, syntetické a analytické od středověku po současnou filozofii</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

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ů

Název statě ve sborníku

The Logica Yearbook 2015

ISBN

978-1-84890-213-8

ISSN

—

e-ISSN

—

Počet stran výsledku

14

Strana od-do

179-192

Název nakladatele

College Publications

Místo vydání

Milton Keynes

Místo konání akce

Hejnice

Datum konání akce

15. 6. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—