Natural deduction systems for intuitionistic logic with identity

DOI10.1007/S11225-022-09995-0OpenAlexW4293084456MaRDI QIDQ2106875FDOQ2106875

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)

Cites Work

• Title not available (Why is that?)
• Proof Analysis
• Title not available (Why is that?)
• Investigations into the sentential calculus with identity
• Natural deduction, hybrid systems and modal logics
• Dual tableaux. Foundations, methodology, case studies
• Title not available (Why is that?)
• Title not available (Why is that?)
• A uniform proof procedure for SCI tautologies
• Sequent calculi for \(\mathsf{SCI}\)
• Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
• Natural deduction systems for intuitionistic logic with identity
• An investigation into intuitionistic logic with identity
• Title not available (Why is that?)

Cited In (5)

• Natural deduction for intuitionistic linear logic
• Logics that are generated by idempotents
• Title not available (Why is that?)
• Natural deduction systems for intuitionistic logic with identity
• Title not available (Why is that?)

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)