A sequence formalization for SCI
From MaRDI portal
Publication:1233432
DOI10.1007/BF02282483zbMath0346.02006MaRDI QIDQ1233432
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Sequent calculi for \(\mathsf{SCI}\) ⋮ Tableau-based decision procedure for non-Fregean logic of sentential identity ⋮ Programs and logics ⋮ DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
Cites Work
This page was built for publication: A sequence formalization for SCI