Opening book details…
Can I read Intuitionistic Logic with Identity Analysis on EtoBox?
Intuitionistic Logic with Identity Analysis by Siova is a document available to read on EtoBox.
What is Intuitionistic Logic with Identity Analysis about?
This document presents an investigation into intuitionistic logic with identity, specifically defining Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI) and proposing a sequent calculus along with a cut-elimination theorem. The authors explore the philosophical motivations behind Suszko
- Author
- Siova
- Language
- EN