PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2019 | 48 | 4 |
Tytuł artykułu

An Investigation into Intuitionistic Logic with Identity

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Rocznik
Tom
48
Numer
4
Opis fizyczny
Daty
wydano
2019-12-31
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ojs-doi-10_18778_0138-0680_48_4_02
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.