On the public citation graph

The Inconsistency of Certain Formal Logics

https://doi.org/10.2307/1968646
0 signed · 77 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11780342_59openalex-snapshot
Kurt Gödel and Computability Theory
inferred← citeshttps://doi.org/10.1007/3-540-45632-5_23openalex-snapshot
Logicism and the Development of Computer Science
inferred← citeshttps://doi.org/10.1007/978-0-8176-4769-8_12openalex-snapshot
In Memoriam: Haskell Brooks Curry
inferred← citeshttps://doi.org/10.1007/978-1-4614-8379-3_1openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/978-1-4899-3793-3_5openalex-snapshot
L
inferred← citeshttps://doi.org/10.1007/978-1-4899-3797-1_3openalex-snapshot
C
inferred← citeshttps://doi.org/10.1007/978-3-0348-9114-1_5openalex-snapshot
La Logique Mathématique en sa jeunesse
inferred← citeshttps://doi.org/10.1007/978-3-319-53280-6_3openalex-snapshot
Turing, Gödel and the “Bright Abyss”
inferred← citeshttps://doi.org/10.1007/978-3-319-58741-7_5openalex-snapshot
Gödel’s Reception of Turing’s Model of Computability: The “Shift of Perception” in 1934
inferred← citeshttps://doi.org/10.1007/978-3-540-27778-1_9openalex-snapshot
First Steps towards Computably-Infinite Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-78127-1_11openalex-snapshot
Why Sets?
inferred← citeshttps://doi.org/10.1007/978-3-540-88059-2_3openalex-snapshot
An Introduction to the Lambda Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-17511-4_14openalex-snapshot
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing
inferred← citeshttps://doi.org/10.1007/978-3-642-68929-1_11openalex-snapshot
Die Existenz kombinatorischer Algebren: kombinatorische Logik
inferred← citeshttps://doi.org/10.1007/978-3-642-78052-3_11openalex-snapshot
The Existence of Combinatory Algebras: Combinatory Logic
inferred← citeshttps://doi.org/10.1007/978-3-7091-6597-3_3openalex-snapshot
The Confluence of Ideas in 1936
inferred← citeshttps://doi.org/10.1007/978-94-009-3551-8_15openalex-snapshot
A Bibliography of Works on Reflexivity
inferred← citeshttps://doi.org/10.1007/978-94-009-5988-0_4openalex-snapshot
L
inferred← citeshttps://doi.org/10.1007/978-94-009-6000-8_1openalex-snapshot
C
inferred← citeshttps://doi.org/10.1007/978-94-010-0526-5_23openalex-snapshot
Church’s Theorem and Randomness
inferred← citeshttps://doi.org/10.1007/978-94-015-1288-6_9openalex-snapshot
I
inferred← citeshttps://doi.org/10.1007/978-94-017-0253-9_5openalex-snapshot
De Bruijn’s Automath and Pure Type Systems
inferred← citeshttps://doi.org/10.1007/bf00370287openalex-snapshot
Arithmetic based on the Church numerals in illative combinatory logic
inferred← citeshttps://doi.org/10.1007/bf01448924openalex-snapshot
Mengentheoretische Begr�ndung der Logik
inferred← citeshttps://doi.org/10.1007/bf02568583openalex-snapshot
Gibt es unentscheidbare Sätze?
inferred← citeshttps://doi.org/10.1007/bf03023829openalex-snapshot
Years ago
inferred← citeshttps://doi.org/10.1007/s10699-026-10047-2openalex-snapshot
Turing’s Unresolved Tension
inferred← citeshttps://doi.org/10.1007/s10849-025-09443-xopenalex-snapshot
A Vector Logic for Extensional Formal Semantics
inferred← citeshttps://doi.org/10.1007/s11225-017-9774-4openalex-snapshot
Gödel on Deduction
inferred← citeshttps://doi.org/10.1016/0003-4843(74)90003-5openalex-snapshot
Functional completeness of cartesian categories
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50005-8openalex-snapshot
Automation of Higher-Order Logic
inferred← citeshttps://doi.org/10.1016/b978-0-444-87508-2.50035-6openalex-snapshot
References
inferred← citeshttps://doi.org/10.1016/j.jtbi.2021.110984openalex-snapshot
An RNA-based theory of natural universal computation
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.02.002openalex-snapshot
The search for a reduction in combinatory logic equivalent to λβ -reduction
inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80002-9openalex-snapshot
Type-free λ-calculus
inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80018-2openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71262-xopenalex-snapshot
Lambda Calculus: Some Models, Some Philosophy
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)72039-1openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70009-6openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70115-6openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00057-8openalex-snapshot
From computation to foundations via functions and application: The λ-calculus and its webbed models
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70018-4openalex-snapshot
Lambda-Calculus and Combinators in the 20th Century
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70019-6openalex-snapshot
The Logic of Church and Curry
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70020-2openalex-snapshot
Paradoxes, Self-Reference and Truth in the 20th Century
inferred← citeshttps://doi.org/10.1017/cbo9781107338579.013openalex-snapshot
Step by recursive step: Church's analysis of effective calculability
inferred← citeshttps://doi.org/10.1023/a:1004399631475openalex-snapshot
What the Liar Taught Achilles
inferred← citeshttps://doi.org/10.1080/0144534031000076237openalex-snapshot
Russell's 1903 - 1905 Anticipation of the Lambda Calculus
inferred← citeshttps://doi.org/10.1090/s0002-9904-1941-07414-8openalex-snapshot
Some aspects of the problem of mathematical rigor
inferred← citeshttps://doi.org/10.1090/s0002-9947-1943-0007371-8openalex-snapshot
Recursive Predicates and Quantifiers
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780195137316.003.0029openalex-snapshot
The Development of Mathematical Logic from Russell to Tarski, 1900–1935
inferred← citeshttps://doi.org/10.1093/bjps/27.3.201openalex-snapshot
A Renaissance of Empiricism in the Recent Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1093/oso/9780198500735.003.0024openalex-snapshot
Textual notes
inferred← citeshttps://doi.org/10.1093/oso/9780198500759.003.0036openalex-snapshot
References
inferred← citeshttps://doi.org/10.1109/mahc.1981.10004openalex-snapshot
Origins of Recursive Function Theory
inferred← citeshttps://doi.org/10.1109/mahc.1984.10040openalex-snapshot
Highlights of the History of the Lambda-Calculus
inferred← citeshttps://doi.org/10.1109/sfcs.1979.33openalex-snapshot
Origins of recursive function theory
inferred← citeshttps://doi.org/10.1142/s1793005712400029openalex-snapshot
ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS
inferred← citeshttps://doi.org/10.1145/72551.72554openalex-snapshot
Conception, evolution, and application of functional programming languages
inferred← citeshttps://doi.org/10.12775/llp.2020.011openalex-snapshot
Computation and Indispensability
inferred← citeshttps://doi.org/10.1305/ndjfl/1093890807openalex-snapshot
A generalised Kleene-Rosser paradox for a system containing the combinator ${\bf K}$.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093890997openalex-snapshot
A deduction theorem for restricted generality.
inferred← citeshttps://doi.org/10.17077/etd.vibd09toopenalex-snapshot
The semantic analysis of advanced programming languages
inferred← citeshttps://doi.org/10.20944/preprints202312.0602.v1openalex-snapshot
On the Inconsistency of: The Classical Propositional Calculus and Its Metatheory
inferred← citeshttps://doi.org/10.2307/2266213openalex-snapshot
On the consistency of Quine's New foundations for mathematical logic
inferred← citeshttps://doi.org/10.2307/2273864openalex-snapshot
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
inferred← citeshttps://doi.org/10.2307/2275096openalex-snapshot
Systems of illative combinatory logic complete for first-order propositional and predicate calculus
inferred← citeshttps://doi.org/10.2307/2586689openalex-snapshot
On the role of implication in formal logic
inferred← citeshttps://doi.org/10.2307/420945openalex-snapshot
The Mathematical Work of S.C.Kleene
inferred← citeshttps://doi.org/10.2307/421012openalex-snapshot
Step by Recursive Step: Church's Analysis of Effective Calculability
inferred← citeshttps://doi.org/10.2307/421013openalex-snapshot
The Impact of the Lambda Calculus in Logic and Computer Science
inferred← citeshttps://doi.org/10.23638/lmcs-16(3:15)2020openalex-snapshot
Gems of Corrado B\"ohm
inferred← citeshttps://doi.org/10.4230/lipics.csl.2011.174openalex-snapshot
A Semantic Approach to Illative Combinatory Logic
inferred← citeshttps://doi.org/10.46298/lmcs-17(2:25)2021openalex-snapshot
Encoding many-valued logic in $\lambda$-calculus
inferred← citeshttps://doi.org/10.48550/arxiv.2012.10987openalex-snapshot
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge
inferred← citeshttps://doi.org/10.5282/edoc.9761openalex-snapshot
Decidability for Non-Standard Conversions in Typed Lambda-Calculi
inferred← citeshttps://doi.org/10.70675/10c54aedz7692z4312zb3d9z1ec9f7ad0f85openalex-snapshot
Modèles de Graphe Relationnels et Observabilité à la Morris : recherches sémantiques sensibles aux ressources sur le λ-calcul non typé
inferred← citeshttps://doi.org/10.70675/22ef231fzd622z41a8z8ea5z8b29a2998b2copenalex-snapshot
Contrôle du calcul et limites du sens : fonctions, computation et types de G. Frege à A.Church
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.