On the rules of proof in the pure functional calculus of the first order

Andrzej Mostowski

Type: Article

Publication Date: 1951-06-01

Citations: 42

DOI: https://doi.org/10.2307/2266682

View Publication

Locations

Journal of Symbolic Logic - View

Similar Works

Action	Title	Year	Authors
+	On the Rules of Proof in the Pure Functional Calculus of the First Order	1979	Andrzej Mostowski
+	On the Rules of Proof in the Pure Functional Calculus of the First Order.	1951	George D. W. Berry Andrzej Mostowski
+	A variant of the proof of the completeness of the first order functional calculus	1961	Jerzy Słupecki Witold A. Pogorzeilski
+	Review: Andrzej Mostowski, On the Rules of Proof in the Pure Functional Calculus of the First Order	1951	George D. W. Berry
+	Completeness of the functional calculus of first order	1955	Juliusz Reichbach
+	IV. The Pure Functional Calculus of First Order	1991	Alonzo Church
+	Completeness proof of functional logic, a formalism with variable-binding nonlogical symbols	1995	Josef Schoenbrunner
+	Completeness proof of functional logic, a formalism with variable-binding nonlogical symbols	1995	Josef Schoenbrunner
+	On the definition of ‘formal deduction’	1956	Richard Montague Leon Henkin
+	Banishing the rule of substitution for functional variables	1953	Leon Henkin
+	The Functional Calculus	2022	R. Guy Woolley
+	The functional calculus	2003	H. G. Dales Pietro Aiena Jörg Eschmeier Kjeld Laursen George A. Willis
+	The completeness of the axioms of the functional calculus of logic1 <i>(1930)</i>	2001	Solomon Feferman John W Dawson Stephen C Kleene Gregory Moore Robert M Solovay Jean van Heijenoort
+	Functional Calculus	2010	Béla Sz.-Nagy Hari Bercovici Ciprian Foiaş László Kérchy
+	Functional Calculus	2019
+	Foundations of the calculus	1966	Henry F. De Baggis Kenneth S. Miller
+	Naturality of the Functional Calculus	1982	Stephen H. Schanuel William R. Zame
+	An Abstract Functional Calculus	2013
+	Review: Leon Henkin, The Completeness of the First-Order Functional Calculus	1950	Wilhelm Ackermann
+	<i>Outlines of Formal Logic</i>. John of St. Thomas , F. C. Wade	1956	Roland Houde

Works That Cite This (10)

Action	Title	Year	Authors
+	On Prefacing (⊇ <i>X</i>) <i>A</i> ⊃ <i>A (Y/X)</i> WITH (⊇ <i>Y</i>) — A Free Quantification Theory Without Identity	1970	Hugues Leblanc R. Meyer
+	The Internal Consistency of Arithmetic with Infinite Descent	2002	Yvon Gauthier
+	Nonstandard theories of quantification and identity	1970	A. Trew
+	A Model Theoretic Oriented Approach to Partial Algebras	1986	Peter Burmeister
+ PDF Chat	The History of Categorical Logic: 1963–1977	2012	Jean‐Pierre Marquis Gonzalo E. Reyes
+	Interval Mathematics: Foundations, Algebraic Structures, and Applications	2012	Hend Dawood
+	Universal Intervals	2020	Hend Dawood Yasser Dawood
+ PDF Chat	Syntactic forcing models for coherent logic	2018	Marc Bezem Ulrik Buchholtz Thierry Coquand
+	Syntactic Forcing Models for Coherent Logic	2017	Marc Bezem Ulrik Buchholtz Thierry Coquand
+	First order logic properly displayed	2021	Samuel Balco Giuseppe Greco Alexander Kurz Andrew Moshier Alessandra Palmigiano Apostolos Tzimoulis

Works Cited by This (0)

Action	Title	Year	Authors