Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★
From MaRDI portal
Publication:3647282
DOI10.3166/jancl.17.511-519zbMath1186.03053OpenAlexW2069796830MaRDI QIDQ3647282
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.17.511-519
Related Items
Sequent calculi for \(\mathsf{SCI}\), Tableau-based decision procedure for non-Fregean logic of sentential identity, Number of non-Fregean sentential logics that have adequate models, Natural deduction systems for intuitionistic logic with identity
Cites Work