摘要：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.
其他摘要：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.
关键词：non-Fregean logics; intuitionistic logic; admissibility of cut, propositional identity; congruence.
其他关键词：Non-Fregean logics;intuitionistic logic;admissibility of cut;propositional identity;congruence
