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

Links

PhilArchive



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

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 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 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.
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.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
Generalized equivalence: A pattern of mathematical expression.T. A. McKee - 1985 - Studia Logica 44 (3):285 - 289.
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.

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,113,583)

6 months
4 (#800,606)

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