On the public citation graph
On disjunctions and existential statements in intuitionistic systems of logic
0 signed · 57 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.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1007/bf01342950openalex-snapshot
Schlußweisen-Kalküle der Prädikatenlogik
inferredcites →https://doi.org/10.1017/s0022481200039451openalex-snapshot
On the use of dots as brackets in logical expressions
inferredcites →https://doi.org/10.1017/s0305004100029649openalex-snapshot
An investigation of the propositional calculus used in a particular system of logic
inferredcites →https://doi.org/10.2307/2266273openalex-snapshot
Ladislav Rieger. On the lattice theory of Brouwerian propositional logic. Acta Facultatis Rerum Naturalium Universitatis Carolinae, no. 189. F. Řivnáč, Prague1949, 40 pp.
inferredcites →https://doi.org/10.2307/2268135openalex-snapshot
Some theorems about the sentential calculi of Lewis and Heyting
inferredcites →https://doi.org/10.4064/fm-41-1-21-28openalex-snapshot
On existential theorems in non-classical functional calculi
inferredcites →https://doi.org/10.4064/fm-41-2-291-310openalex-snapshot
Algebraic models of axiomatic theories
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.19720180802openalex-snapshot
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
inferred← citeshttps://doi.org/10.1007/978-1-4612-0325-4_8openalex-snapshot
Extracting programs from proofs by an extension of the Curry-Howard process
inferred← citeshttps://doi.org/10.1007/978-3-030-88708-7_14openalex-snapshot
On the Finite Model Property of Weak Intuitionistic Tense Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_6openalex-snapshot
The Story of $$\gamma $$ γ
inferred← citeshttps://doi.org/10.1007/978-3-642-19805-2_8openalex-snapshot
Realizability and Parametricity in Pure Type Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_10openalex-snapshot
Integrating an Automated Theorem Prover into Agda
inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_13openalex-snapshot
Intuitionistic Basis for Input/Output Logic
inferred← citeshttps://doi.org/10.1007/978-981-96-8566-0_1openalex-snapshot
There Are (Other) Ways to Negate in Propositional Team Semantics
inferred← citeshttps://doi.org/10.1007/bf00370182openalex-snapshot
The disjunction property of intermediate propositional logics
inferred← citeshttps://doi.org/10.1007/bf00713549openalex-snapshot
Gentzen formulations of two positive relevance logics
inferred← citeshttps://doi.org/10.1007/bfb0066772openalex-snapshot
Realizability: A retrospective survey
inferred← citeshttps://doi.org/10.1007/s00500-019-04348-xopenalex-snapshot
A short note on divisible residuated semilattices
inferred← citeshttps://doi.org/10.1007/s10670-024-00828-1openalex-snapshot
From Explosion to Implosion: A New Justification for the Ex Falso Quodlibet Rule
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71259-xopenalex-snapshot
Kleene's Readability and “Divides” Notions for Formalized Intuitionistic Mathematics
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70007-xopenalex-snapshot
The Logic of Brouwer and Heyting
inferred← citeshttps://doi.org/10.1017/bsl.2020.43openalex-snapshot
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
inferred← citeshttps://doi.org/10.1017/s0960129502003626openalex-snapshot
Realizability: a historical essay
inferred← citeshttps://doi.org/10.1023/a:1004975724824openalex-snapshot
Game Logic and its Applications II
inferred← citeshttps://doi.org/10.1070/im1970v004n05abeh000940openalex-snapshot
INVARIANT PROPERTIES OF SYSTEMS OF FORMULAS OF ELEMENTARY AXIOMATIC THEORIES
inferred← citeshttps://doi.org/10.1080/00048402.2024.2411395openalex-snapshot
Proof-Theoretic Validity isn’t Intuitionistic; So What?
inferred← citeshttps://doi.org/10.1080/01445340.2018.1439257openalex-snapshot
The Context of Inference
inferred← citeshttps://doi.org/10.1080/01445340.2021.1889117openalex-snapshot
The Deduction Theorem (Before and After Herbrand)
inferred← citeshttps://doi.org/10.1093/jigpal/3.4.643openalex-snapshot
On the Proof Theory of Program Transformations
inferred← citeshttps://doi.org/10.1093/jigpal/jzn017openalex-snapshot
Replacing Modus Ponens With One-Premiss Rules
inferred← citeshttps://doi.org/10.1093/logcom/5.4.423openalex-snapshot
An Intensional Semantics for Elementary Program Transformations
inferred← citeshttps://doi.org/10.1305/ndjfl/1093637560openalex-snapshot
Reduced models for relevant logics without ${\rm WI}$.
inferred← citeshttps://doi.org/10.2307/2269618openalex-snapshot
Some structure results for propositional calculi
inferred← citeshttps://doi.org/10.2307/2963675openalex-snapshot
Disjunction and existence under implication in elementary intuitionistic formalisms
inferred← citeshttps://doi.org/10.2307/2964334openalex-snapshot
Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
inferred← citeshttps://doi.org/10.23889/suthesis.57831openalex-snapshot
Enhanced Realizability Interpretation for Program Extraction
inferred← citeshttps://doi.org/10.24963/ijcai.2020/249openalex-snapshot
On the Decidability of Intuitionistic Tense Logic without Disjunction
inferred← citeshttps://doi.org/10.32703/2415-7422-2020-10-2-315-338openalex-snapshot
The birth of a science
inferred← citeshttps://doi.org/10.4204/eptcs.281.2openalex-snapshot
Admissible Tools in the Kitchen of Intuitionistic Logic
inferred← citeshttps://doi.org/10.4324/9780203016244openalex-snapshot
An Introduction to Substructural Logics
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.