A uniform proof procedure for SCI tautologies

DOI10.1007/BF02123284MaRDI QIDQ1236430zbMATH OpenOpenAlexFDO

Authors Aileen Michaels

Publication date 1974

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02123284

Mathematics Subject Classification ID

Cited in

(7)

• Natural deduction systems for intuitionistic logic with identity
• Sequent calculi for \(\mathsf{SCI}\)
• Tableau-based decision procedure for non-Fregean logic of sentential identity
• Decidability of intuitionistic sentential logic with identity via sequent calculus
• Trees and diagrams of decomposition
• A sequence formalization for SCI
• DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations

This page was built for publication: A uniform proof procedure for SCI tautologies

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