Geodesic
An Investigation into Intuitionistic Logic with Identity
Bulletin of the Section of Logic, Tome 48 (2019) no. 4

Voir la notice de l'article provenant de la source Library of Science

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 
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/
@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