A definition of conjunction in the pure 1mplicational calculus with one variable

Logique Et Analyse 33:310 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Review: Henry W. Johnstone, A Definition of Conjunction in the Pure Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.
The Lambek calculus enriched with additional connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
The variable hierarchy for the games μ-calculus.Walid Belkhir & Luigi Santocanale - 2010 - Annals of Pure and Applied Logic 161 (5):690-707.
Axioms for the Implicational Calculus With One Variable.Henry W. Johnstone & Robert Price - 1964 - Theoria 30 (1):1-4.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.
Review: Henry W. Johnstone, Robert Price, Axioms for the Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.
On variables in mathematics and in natural science.Karl Menger - 1954 - British Journal for the Philosophy of Science 5 (18):134-142.
On a simple definition of computable function of a real variable‐with applications to functions of a complex variable.Marian Boykan Pour-El & Jerome Caldwell - 1975 - Mathematical Logic Quarterly 21 (1):1-19.
Leonard, Goodman, and the development of the calculus of individuals.Marcus Rossberg - 2009 - In G. Ernst, O. Scholz & J. Steinbrenner (eds.), Nelson Goodman: From Logic to Art. Ontos.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
Hidden variables and Bell's theorem in quantum mechanics.H. Kummer & R. G. McLean - 1994 - Foundations of Physics 24 (5):739-751.
Is propositional calculus categorical?Jaroslav Peregrin - manuscript

Analytics

Added to PP
2014-02-11

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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