On the public citation graph
Sentential constants in R and R?
0 signed · 24 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1016/0016-0032(63)90672-0openalex-snapshot
Foundations of mathematical logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)71540-4openalex-snapshot
Intuitionism, Entailment, Negation
inferredcites →https://doi.org/10.2307/2266556openalex-snapshot
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkiil unci zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 22–37.
inferredcites →https://doi.org/10.2307/2268750openalex-snapshot
Begründung einer strengen Implikation
inferredcites →https://doi.org/10.2307/2271239openalex-snapshot
Intensional models for first degree formulas
inferredcites →https://doi.org/10.2307/2274237openalex-snapshot
3088 varieties: A solution to the Ackermann constant problem
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.202100046openalex-snapshot
The algebraic significance of weak excluded middle laws
inferred← citeshttps://doi.org/10.1007/3-540-52885-7_77openalex-snapshot
Parallelizing the closure computation in automated deduction
inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_18openalex-snapshot
Relevant Rational Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-322-93512-0_5openalex-snapshot
Forschungsresultate Bisheriger Empirischer Analysen der DDR-Elite
inferred← citeshttps://doi.org/10.1007/978-3-322-93512-0_6openalex-snapshot
Die Analyse der Zentralen Politischen Elite der DDR
inferred← citeshttps://doi.org/10.1007/bf01057657openalex-snapshot
Sentential constants in systems near R
inferred← citeshttps://doi.org/10.1007/bf01880324openalex-snapshot
The Ackermann constant theorem: A computer-assisted investigation
inferred← citeshttps://doi.org/10.1007/s00012-023-00837-1openalex-snapshot
Semilinear De Morgan monoids and epimorphisms
inferred← citeshttps://doi.org/10.1016/j.jpaa.2018.09.015openalex-snapshot
Varieties of De Morgan monoids: Minimality and irreducible algebras
inferred← citeshttps://doi.org/10.1017/s1755020318000448openalex-snapshot
VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780195137316.003.0041openalex-snapshot
The Philosophy of Alternative Logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzaa021openalex-snapshot
Boolean negation and non-conservativity III: the Ackermann constant
inferred← citeshttps://doi.org/10.1093/jigpal/jzag029openalex-snapshot
Relevant number theory with cancellation
inferred← citeshttps://doi.org/10.1215/00294527-1722719openalex-snapshot
New Consecution Calculi for R→t
inferred← citeshttps://doi.org/10.2178/bsl/1286284562openalex-snapshot
2010 Winter Meeting of the Association for Symbolic Logic
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.