A uniform proof procedure for SCI tautologies
From MaRDI portal
Publication:1236430
DOI10.1007/BF02123284zbMath0353.68096OpenAlexW1992108232MaRDI QIDQ1236430
Publication date: 1974
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02123284
Related Items
Sequent calculi for \(\mathsf{SCI}\) ⋮ A sequence formalization for SCI ⋮ Tableau-based decision procedure for non-Fregean logic of sentential identity ⋮ Natural deduction systems for intuitionistic logic with identity ⋮ Trees and diagrams of decomposition ⋮ 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
