Natural deduction systems for intuitionistic logic with identity

DOI10.1007/S11225-022-09995-0MaRDI QIDQ2106875zbMATH OpenOpenAlexFDO

Authors Szymon Chlebowski, Marta Gawek, 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

intuitionistic logicnatural deductionpropositional identitynon-Fregean logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 4164793
• An alternative natural deduction for the intuitionistic propositional logic
• An investigation into intuitionistic logic with identity
• scientific article; zbMATH DE number 7700618
• Natural deduction for dual-intuitionistic logic

Cites work

• scientific article; zbMATH DE number 4164793 (Why is no real title available?)
• scientific article; zbMATH DE number 3482305 (Why is no real title available?)
• scientific article; zbMATH DE number 733666 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3191263 (Why is no real title available?)
• A uniform proof procedure for SCI tautologies
• An investigation into intuitionistic logic with identity
• Dual tableaux. Foundations, methodology, case studies
• Investigations into the sentential calculus with identity
• Natural deduction systems for intuitionistic logic with identity
• Natural deduction, hybrid systems and modal logics
• Proof Analysis
• Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
• Sequent calculi for \(\mathsf{SCI}\)

Cited in

(5)

• Natural deduction for intuitionistic linear logic
• scientific article; zbMATH DE number 7700618 (Why is no real title available?)
• scientific article; zbMATH DE number 3910370 (Why is no real title available?)
• Natural deduction systems for intuitionistic logic with identity
• Logics that are generated by idempotents

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2106875)