Natural deduction systems for intuitionistic logic with identity

DOI10.1007/s11225-022-09995-0OpenAlexW4293084456MaRDI QIDQ2106875

Marta Gawek, Szymon Chlebowski, Agata Tomczyk

Publication date: 29 November 2022

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-022-09995-0

zbMATH Keywords

natural deductionintuitionistic logicpropositional identitynon-Fregean logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Natural deduction systems for intuitionistic logic with identity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural deduction, hybrid systems and modal logics
• Dual tableaux. Foundations, methodology, case studies
• A uniform proof procedure for SCI tautologies
• Sequent calculi for \(\mathsf{SCI}\)
• Natural deduction systems for intuitionistic logic with identity
• Investigations into the sentential calculus with identity
• Proof Analysis
• Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★
• An Investigation into Intuitionistic Logic with Identity

This page was built for publication: Natural deduction systems for intuitionistic logic with identity