Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI

DOI10.3166/JANCL.17.511-519MaRDI QIDQ3647282zbMATH OpenOpenAlexFDO

Authors Joanna Golińska-Pilarek

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

zbMATH Keywords

deduction proof systemnon-Fregean sentential logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 3950491
• scientific article; zbMATH DE number 4164793
• scientific article; zbMATH DE number 496223
• Non-Fregean logics of analytic equivalence. I
• R. Suszko's situational semantics

Cites work

• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Investigations into the sentential calculus with identity
• Relational proof system for relevant logics

Cited in

(9)

• Sequent calculi for \(\mathsf{SCI}\)
• Rasiowa-Sikorski deduction systems in computer science applications.
• Tableau-based decision procedure for non-Fregean logic of sentential identity
• Natural deduction systems for intuitionistic logic with identity
• Non-Fregean propositional logic with quantifiers
• Number of non-Fregean sentential logics that have adequate models
• 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: Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI

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