Switch to: References

Citations of:

Adequate models for the non-Fregean sentential calculus (SCI)

In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, language, and probability. Dordrecht: D. Reidel Pub. Co.. pp. 49--54 (1973)

Add citations

You must login to add citations.

Leśniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Cham, Switzerland: Springer.details With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ... Download Export citation Bookmark 9 citations
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.details 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. Download Export citation Bookmark 3 citations

1