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

Notre Dame Journal of Formal Logic 15 (3):465-476 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891408

Links

PhilArchive



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

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. 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.
A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi.Charles H. Lambros - 1979 - Notre Dame Journal of Formal Logic 20 (4):760-764.
Condensed detachment as a rule of inference.J. A. Kalman - 1983 - Studia Logica 42 (4):443 - 451.
The two-property and condensed detachment.J. A. Kalman - 1982 - Studia Logica 41 (2-3):173 - 179.
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
A note concerning the many-valued propositional calculi.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (2):127-128.
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.
The simple substitution property of gödel's intermediate propositional logics sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
The Set of Restricted Complex Exponents for Expansions of the Reals.Michael A. Tychonievich - 2012 - Notre Dame Journal of Formal Logic 53 (2):175-186.
A conditional defense of plurality rule: generalizing May's theorem in a restricted informational environment.Robert E. Goodin & Christian List - 2006 - American Journal of Political Science 50 (4):940-949.

Analytics

Added to PP
2010-08-24

Downloads
6 (#1,353,689)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references