Autor:	Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki
Rok vydání:	2022
Předmět:	Logic
Zdroj:	Logic Journal of the IGPL.
ISSN:	1368-9894 1367-0751
Popis:	In this paper we first introduce a new neighbourhood semantics for propositional intuitionistic logic. We then naturally extend this semantics to first-order intuitionistic logic. We also study bisimulation between neighbourhood models and prove some of their basic properties for both propositional and first-order intuitionistic logic.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::46598eda0b6e5bbb5f6fabba5d20f397 https://doi.org/10.1093/jigpal/jzac069 Zobrazit plný text záznamu