论文信息 - Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★

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

The non-Fregean logic SCI is obtained from the classical sentential calculus by adding a new identity connective = and axioms which say ‘a = ß' means ‘a is identical to ß'. We present complete and sound proof system for SCI in the style of Rasiowa-Sikorski. It provides a natural deduction-style method of reasoning for the non-Fregean sentential logic SCI.

Joanna Golinska-Pilarek | Joanna Golinska-Pilarek

[1] Ewa Orlowska,et al. Relational Proof Systems for Modal Logics , 1996 .

[2] Roman Suszko,et al. Investigations into the sentential calculus with identity , 1972, Notre Dame J. Formal Log..

[3] R. Suszko. Abolition of the fregean axiom , 1975 .

[4] Adequate Models for the Non-Fregean Sentential Calculus (Sci) , 1973 .

[5] R. Sikorski,et al. The mathematics of metamathematics , 1963 .

[6] Joanna Golinska-Pilarek,et al. Number of Extensions of Non-Fregean Logics , 2005, J. Philos. Log..

[7] Ewa Orlowska,et al. Relational proof system for relevant logics , 1992, Journal of Symbolic Logic.