On substitution for variable one-place functors
Notre Dame Journal of Formal Logic 21 (2):243-250 (1980)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesPeter Simons (2007). Abstraction, Structure, and Substitution. Polish Journal of Philosophy 1 (1):81-100.
Y. Arai & S. Tanaka (1966). A Remark on Propositional Calculi with Variable Functors. Proceedings of the Japan Academy 42:1056-1057.
Ivo Thomas (1964). Universal Variable Non-Tarskian Functors. Notre Dame Journal of Formal Logic 5 (3):221-222.
Stanley J. Krolikoski (1979). Ł Ukasiewicz's Twin Possibility Functors. Notre Dame Journal of Formal Logic 20 (2):458-460.
Bernhard Waldenfels (2011). In Place of the Other. Continental Philosophy Review 44 (2):151-164.
Robert Trueman (2012). Dolby Substitution (Where Available). Analysis 72 (1):98-102.
Katsumi Sasaki (1990). The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's. Studia Logica 49 (4):471 - 481.
Serge Lapierre (1992). Structured Meanings and Reflexive Domains. Studia Logica 51 (2):215 - 239.
Karl Menger & Martin Schultz (1963). Postulates for the Substitutive Algebra of the $2$-Place Functors in the $2$-Valued Calculus of Propositions. Notre Dame Journal of Formal Logic 4 (3):188-192.
J. C. Muzio (1976). A Complete Classification of Three-Place Functors in Two-Valued Logic. Notre Dame Journal of Formal Logic 17 (3):429-437.
Richard Peters (1964). Two Remarks Concerning Menger's and Schultz' Postulates for the Substitutive Algebra of the $2$-Place Functors in the $2$-Valued Calculus of Propositions. [REVIEW] Notre Dame Journal of Formal Logic 5 (2):125-128.
Frank Arntzenius (1994). Relativistic Hidden Variable Theories? Erkenntnis 41 (2):207 - 231.
Rafał Urbaniak (2006). On Representing Sentential Connectives of Lesniewski's Elementary Protothetic. Journal of Logic and Computation 16 (4):451-460.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
