The inconsistency of certain formal logics

DOI10.2307/1968646MaRDI QIDQ2644945zbMATH OpenOpenAlexWikidataFDO

Authors Stephen Cole 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

zbMATH Keywords

Foundations, philosophy, logic

Cited in

(22)

• Arithmetic based on the Church numerals in illative combinatory logic
• Sixty years after Gödel
• What the Liar taught Achilles
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Gödel's reception of Turing's model of computability: the shift of perception in 1934
• Mengentheoretische Begründung der Logik.
• Mengentheoretische Begründung der Logik
• On the foundations of mathematical economics
• Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I
• An Introduction to the Lambda Calculus
• Systems of illative combinatory logic complete for first-order propositional and predicate calculus
• Step by Recursive Step: Church's Analysis of Effective Calculability
• The Impact of the Lambda Calculus in Logic and Computer Science
• Russell's 1903 - 1905 Anticipation of the Lambda Calculus
• Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
• The Mathematical Work of S.C.Kleene
• Gems of Corrado Böhm
• Hypercomputation: fantasy or reality? A position paper
• Why Sets?
• On the consistency of Quine's New foundations for mathematical logic
• Recursive Predicates and Quantifiers
• Types, Tableaus and Gödel’s God in Isabelle/HOL

This page was built for publication: The inconsistency of certain formal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2644945)