An Investigation into Intuitionistic Logic with Identity

DOI10.18778/0138-0680.48.4.02zbMath1446.03024OpenAlexW3006172558MaRDI QIDQ5126198

Dorota Leszczyńska-Jasion, Szymon Chlebowski

Publication date: 15 October 2020

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.48.4.02

zbMATH Keywords

congruenceintuitionistic logicadmissibility of cutpropositional identitynon-Fregean logics

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Tableau-based decision procedure for non-Fregean logic of sentential identity ⋮ Natural deduction systems for intuitionistic logic with identity

Uses Software

• Pesca

Cites Work

• Treatise on intuitionistic type theory
• Proof-theoretical analysis of order relations
• Investigations into the sentential calculus with identity
• Proof Analysis
• Cut Elimination in the Presence of Axioms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Investigation into Intuitionistic Logic with Identity