Natural deduction systems for intuitionistic logic with identity
type: Item
instance of: scholarly article
title: Natural deduction systems for intuitionistic logic with identity
author: Szymon Chlebowski
author: Marta Gawek
author: Agata Tomczyk
published in: Studia Logica
publication date: 2022-11-29T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7625359
zbMATH Keywords: natural deduction
zbMATH Keywords: non-Fregean logics
zbMATH Keywords: propositional identity
zbMATH Keywords: intuitionistic logic
MaRDI profile type: Publication
full work available at URL: s11225-022-09995-0
OpenAlex ID: W4293084456
cites work: Investigations into the sentential calculus with identity
cites work: Sequent calculi for \(\mathsf{SCI}\)
cites work: An Investigation into Intuitionistic Logic with Identity
cites work: Q4325974
cites work: Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★
cites work: Natural deduction, hybrid systems and modal logics
cites work: Q3491517
cites work: A uniform proof procedure for SCI tautologies
cites work: Proof Analysis
cites work: Dual tableaux. Foundations, methodology, case studies
cites work: Q4065517
cites work: Q4499084
cites work: Q5727646
DOI: 10.1007/S11225-022-09995-0
description: scientific article; zbMATH DE number 7625359