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

(10)

• Trees and diagrams of decomposition
• DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
• A sequence formalization for SCI
• Sequent calculi for \(\mathsf{SCI}\)
• Tableau-based decision procedure for non-Fregean logic of sentential identity
• Natural deduction systems for intuitionistic logic with identity
• Decidability of intuitionistic sentential logic with identity via sequent calculus
• Deciding non-Fregean identities: a dual tableau approach
• Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity
• SCI-sequent calculi, cut elimination and interpolation property

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)