A nonstandard semantic framework for intuitionistic logic

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
A nonstandard semantic framework for intuitionistic logic
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GAP401%2F11%2F0371" target="_blank" >GAP401/11/0371: Apriority, Syntheticity and Analyticity from Medieval Thought to Contemporary Philosophy</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)