Szukaj
Wyświetlanie pozycji 1-1 z 1
An Investigation into Intuitionistic Logic with Identity
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
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 ...