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

Journal of Applied Non-Classical Logics 17 (4):509–517 (2007)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.
Sentential calculus with identity (SCI) and G-theories.Roman Suszko - 1971 - Journal of Symbolic Logic 36:709-710.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.


Added to PP

54 (#282,416)

6 months
17 (#130,480)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joanna Golinska-Pilarek
University of Warsaw

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Abolition of the Fregean Axiom.Roman Suszko - 1975 - Lecture Notes in Mathematics 453:169-239.
Investigations into the sentential calculus with identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Adequate models for the non-Fregean sentential calculus (SCI).Roman Suszko - 1973 - In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, Language, and Probability. Boston: D. Reidel Pub. Co.. pp. 49--54.

Add more references