ArticleOriginal scientific text
Title
An Investigation into Intuitionistic Logic with Identity
Authors ,
Abstract
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
Main language of publication
English
Published
2019
Humanities