The inconsistency of certain formal logics
From MaRDI portal
Publication:2644945
DOI10.2307/1968646zbMath0012.14602OpenAlexW2319210160WikidataQ55878657 ScholiaQ55878657MaRDI QIDQ2644945
Stephen C. Kleene, J. Barkley Rosser
Publication date: 1935
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1968646
Related Items
Recursive Predicates and Quantifiers, Systems of illative combinatory logic complete for first-order propositional and predicate calculus, Mengentheoretische Begründung der Logik, Arithmetic based on the Church numerals in illative combinatory logic, The Mathematical Work of S.C.Kleene, Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I, Step by Recursive Step: Church's Analysis of Effective Calculability, The Impact of the Lambda Calculus in Logic and Computer Science, Sixty years after Gödel, HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER, Gödel's reception of Turing's model of computability: the shift of perception in 1934, An Introduction to the Lambda Calculus, On the consistency of Quine's New foundations for mathematical logic, Why Sets?, Russell's 1903 - 1905 Anticipation of the Lambda Calculus, Unnamed Item, Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic, What the Liar taught Achilles, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models, ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS, Mengentheoretische Begründung der Logik.
