A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi

Notre Dame Journal of Formal Logic 20 (4):760-764 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882797

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

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

Through your library

My notes

Similar books and articles

A theorem concerning a restricted rule of substitution in the field of propositional calculi. I.Bolesław Sobociński - 1974 - Notre Dame Journal of Formal Logic 15 (3):465-476.
A theorem concerning a restricted rule of substitution in the field of propositional calculi. II.Bolesław Sobociński - 1974 - Notre Dame Journal of Formal Logic 15 (4):589-597.
A shortened proof of Sobociński's theorem concerning a restricted rule of substitution in the field of propositional calculi.Charles H. Lambros - 1979 - Notre Dame Journal of Formal Logic 20 (1):112-114.
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.D. Bollman & M. Tapia - 1972 - Notre Dame Journal of Formal Logic 13 (1):124-128.
A note concerning the many-valued propositional calculi.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (2):127-128.
The rule of procedure ${\rm Re}$ in Ł ukasiewicz's many-valued propositional calculi.John Jones - 1985 - Notre Dame Journal of Formal Logic 26 (4):423-428.
Bolesław Sobociński. A note concerning the many-valued propositional calculi. Notre Dame journal of formal logic, vol. 2 , pp. 127–128. [REVIEW]Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (1):117-117.
Generalizability of the propositional and predicate calculi to infinite-valued calculi.Hermann F. Schott - 1970 - Notre Dame Journal of Formal Logic 11 (1):107-128.
Involution as a basis for propositional calculi.M. B. Smyth - 1974 - Notre Dame Journal of Formal Logic 15 (4):569-588.
Creative definitions in propositional calculi.V. Frederick Rickey - 1975 - Notre Dame Journal of Formal Logic 16 (2):273-294.

Analytics

Added to PP
2010-08-24

Downloads
22 (#972,197)

6 months
9 (#485,111)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The deducibilities of S.Jean Porte - 1981 - Journal of Philosophical Logic 10 (4):409 - 422.

Add more citations

References found in this work

No references found.

Add more references