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 
@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},
     publisher = {mathdoc},
     volume = {48},
     number = {4},
     year = {2019},
     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
PB  - mathdoc
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
%I mathdoc
%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/