Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Fatemeh Shirmohammadzadeh Maleki"'
Publikováno v:
Logic Journal of the IGPL.
Standard unary modal logic and binary modal logic, i.e. modal logic with one binary operator, are shown to be definitional extensions of one another when an additional axiom $U$ is added to the basic axiomatization of the binary side. This is a stren
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c75a86c43e5a7a2cd2d95bd7693797ad
https://doi.org/10.1093/jigpal/jzac083
https://doi.org/10.1093/jigpal/jzac083
Publikováno v:
Logic Journal of the IGPL.
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::46598eda0b6e5bbb5f6fabba5d20f397
https://doi.org/10.1093/jigpal/jzac069
https://doi.org/10.1093/jigpal/jzac069
Publikováno v:
Indagationes Mathematicae, 29(6), 1525-1545. Elsevier
This is an investigation of the implications of IPC which remain provable when one weakens intuitionistic logic in various ways. The research is concerned with logics with Kripke models as introduced by G. Corsi in 1987, and others like G. Restall, D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f78ab3e7e55c27500bec28950d839132
https://doi.org/10.1016/j.indag.2018.01.013
https://doi.org/10.1016/j.indag.2018.01.013
Publikováno v:
Logic, Epistemology, and the Unity of Science ISBN: 9783030536534
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e676b18996a7a52ce8db0bba2bcd9c9
https://doi.org/10.1007/978-3-030-53654-1_19
https://doi.org/10.1007/978-3-030-53654-1_19
