Geodesic
An Investigation into Intuitionistic Logic with Identity
Bulletin of the Section of Logic, Tome 48 (2019) no. 4 Cet article a éte moissonné depuis la source Library of Science

Voir la notice de l'article

We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
Keywords: Non-Fregean logics, intuitionistic logic, admissibility of cut, propositional identity, congruence 
@article{BSL_2019_48_4_a0,
     author = {Chlebowski, Szymon and Leszczy\'nska-Jasion, Dorota},
     title = {An {Investigation} into {Intuitionistic} {Logic} with {Identity}},
     journal = {Bulletin of the Section of Logic},
     year = {2019},
     volume = {48},
     number = {4},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2019_48_4_a0/}
}
TY  - JOUR
AU  - Chlebowski, Szymon
AU  - Leszczyńska-Jasion, Dorota
TI  - An Investigation into Intuitionistic Logic with Identity
JO  - Bulletin of the Section of Logic
PY  - 2019
VL  - 48
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/BSL_2019_48_4_a0/
LA  - en
ID  - BSL_2019_48_4_a0
ER  - 
%0 Journal Article
%A Chlebowski, Szymon
%A Leszczyńska-Jasion, Dorota
%T An Investigation into Intuitionistic Logic with Identity
%J Bulletin of the Section of Logic
%D 2019
%V 48
%N 4
%U http://geodesic.mathdoc.fr/item/BSL_2019_48_4_a0/
%G en
%F BSL_2019_48_4_a0
Chlebowski, Szymon; Leszczyńska-Jasion, Dorota. An Investigation into Intuitionistic Logic with Identity. Bulletin of the Section of Logic, Tome 48 (2019) no. 4. http://geodesic.mathdoc.fr/item/BSL_2019_48_4_a0/