On the public citation graph
Remarks on some approaches to the concept of logical consequence
0 signed · 72 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/978-94-009-9825-4openalex-snapshot
Essays on Mathematical and Philosophical Logic
inferredcites →https://doi.org/10.1007/978-94-009-9825-4_2openalex-snapshot
Proofs and the Meaning and Completeness of the Logical Constants
inferredcites →https://doi.org/10.1007/bf00660889openalex-snapshot
On the idea of a general proof theory
inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1016/s0049-237x(08)70849-8openalex-snapshot
Ideas and Results in Proof Theory
inferredcites →https://doi.org/10.1016/s0049-237x(08)71941-4openalex-snapshot
The Philosophical Basis of Intuitionistic Logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7040-5openalex-snapshot
Proceedings of the Second Scandinavian Logic Symposium
inferredcites →https://doi.org/10.1016/s0049-237x(09)70361-1openalex-snapshot
Towards A Foundation of A General Proof Theory
inferredcites →https://doi.org/10.1016/s0049-237x(09)70587-7openalex-snapshot
Foundations of Intuitionistic Logic
inferredcites →https://doi.org/10.1098/rsta.1984.0073openalex-snapshot
Constructive mathematics and computer programming
inferredcites →https://doi.org/10.1111/j.1755-2567.1977.tb00776.xopenalex-snapshot
Meaning and proofs: on the conflict between classical and intuitionistic logic
inferredcites →https://doi.org/10.2307/2267371openalex-snapshot
Alfred Tarski. Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, VII Logique, Actualités scientifiques et industrielles 394, Hermann & Cie, Paris1936, pp. 1–11.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/tht3.45openalex-snapshot
Failures of Categoricity and Compositionality for Intuitionistic Disjunction
inferred← citeshttps://doi.org/10.1007/978-1-4899-0548-2_4openalex-snapshot
Proof-theoretic Validity and the Completeness of Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-58790-1_17openalex-snapshot
On the Semantic Concept of Logical Consequence
inferred← citeshttps://doi.org/10.1007/978-3-031-24605-0_1openalex-snapshot
Motivations for an Internalist Semantics
inferred← citeshttps://doi.org/10.1007/978-3-031-24605-0_2openalex-snapshot
Varieties of Semantical Anti-realism
inferred← citeshttps://doi.org/10.1007/978-3-031-51406-7_10openalex-snapshot
Assertion, Assumption, and Deduction
inferred← citeshttps://doi.org/10.1007/978-3-031-53666-3_6openalex-snapshot
Grounding Medieval Consequence
inferred← citeshttps://doi.org/10.1007/978-3-031-94461-1_3openalex-snapshot
Deductive Reasoning in Human Thinking: Some Remarks About Boethius’s Logical Project
inferred← citeshttps://doi.org/10.1007/978-3-319-11041-7_1openalex-snapshot
Prawitz, Proofs, and Meaning
inferred← citeshttps://doi.org/10.1007/978-3-319-11041-7_13openalex-snapshot
General-Elimination Harmony and Higher-Level Rules
inferred← citeshttps://doi.org/10.1007/978-3-319-22686-6openalex-snapshot
Advances in Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-22686-6_16openalex-snapshot
Open Problems in Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-47205-8_2openalex-snapshot
Inferentialism and Its Discontents
inferred← citeshttps://doi.org/10.1007/978-94-009-3541-9_5openalex-snapshot
Dummett on a Theory of Meaning and Its Impact on Logic
inferred← citeshttps://doi.org/10.1007/bf00265256openalex-snapshot
Logical consequence: A defense of Tarski
inferred← citeshttps://doi.org/10.1007/s10670-018-0032-6openalex-snapshot
Classical Harmony and Separability
inferred← citeshttps://doi.org/10.1007/s10992-014-9326-6openalex-snapshot
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic
inferred← citeshttps://doi.org/10.1007/s10992-021-09621-9openalex-snapshot
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics
inferred← citeshttps://doi.org/10.1007/s11225-016-9692-xopenalex-snapshot
General-Elimination Stability
inferred← citeshttps://doi.org/10.1007/s11229-004-6270-yopenalex-snapshot
The Justification of the Logical Laws Revisited
inferred← citeshttps://doi.org/10.1007/s11229-004-6296-1openalex-snapshot
Validity Concepts in Proof-theoretic Semantics
inferred← citeshttps://doi.org/10.1007/s11229-011-9906-8openalex-snapshot
Assertion, inference, and consequence
inferred← citeshttps://doi.org/10.1007/s11229-018-02048-xopenalex-snapshot
The original sin of proof-theoretic semantics
inferred← citeshttps://doi.org/10.1007/s11229-023-04480-0openalex-snapshot
Reflective equilibrium in logic
inferred← citeshttps://doi.org/10.1007/s11245-018-9559-zopenalex-snapshot
Introduction: Inferences and Proofs
inferred← citeshttps://doi.org/10.1016/0304-3975(91)90028-zopenalex-snapshot
Author index volume 86 (1991)
inferred← citeshttps://doi.org/10.1016/b978-0-934613-32-3.50012-5openalex-snapshot
A Note on Non-Monotonic Reasoning
inferred← citeshttps://doi.org/10.1016/s0304-3975(06)80007-1openalex-snapshot
Partial inductive definitions
inferred← citeshttps://doi.org/10.1017/s1755020309090200openalex-snapshot
REREADING TARSKI ON LOGICAL CONSEQUENCE
inferred← citeshttps://doi.org/10.1080/0020174x.2025.2516736openalex-snapshot
Can sentential quantification tell us what truth is?
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198715696.003.0005openalex-snapshot
Proof-Theoretic Validity
inferred← citeshttps://doi.org/10.1093/logcom/exu028openalex-snapshot
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
inferred← citeshttps://doi.org/10.1093/mind/fzp093openalex-snapshot
Compositionality, Understanding, and Proofs
inferred← citeshttps://doi.org/10.1093/oso/9780192894809.003.0010openalex-snapshot
Neopragmatism and Logic
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0022openalex-snapshot
Logical Consequence From a Constructivist View
inferred← citeshttps://doi.org/10.1093/philmat/nkag003openalex-snapshot
Gregory Lavers. Mathematics Is (Mostly) Analytic
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1998.tb00186.xopenalex-snapshot
Bivalence: meaning theory vs metaphysics
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1998.tb00187.xopenalex-snapshot
Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz*
inferred← citeshttps://doi.org/10.1111/j.1755-2567.2008.00026.xopenalex-snapshot
On the Copernican Turn in Semantics
inferred← citeshttps://doi.org/10.1111/theo.12430openalex-snapshot
A note on Etchemendy's and Prawitz's reduction principles for the Tarskian and model‐theoretic concept of consequence
inferred← citeshttps://doi.org/10.1111/theo.12538openalex-snapshot
Pursuit of the concept of validity: A dialogue
inferred← citeshttps://doi.org/10.1111/theo.12542openalex-snapshot
Validity of inferences and validity of demonstrations
inferred← citeshttps://doi.org/10.15496/publikation-70827openalex-snapshot
Proof-theoretic versus Model-theoretic Consequence
inferred← citeshttps://doi.org/10.2143/lea.227.0.3053505openalex-snapshot
More Reflections on Consequence
inferred← citeshttps://doi.org/10.47749/t/unicamp.2006.372920openalex-snapshot
Uma investigação acerca das regras para a negação e o absurdo em dedução natural
inferred← citeshttps://doi.org/10.53437/64eycj87openalex-snapshot
An Interactive Approach to Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.70675/ebffbe00z3617z41e5z91bfzd4ec1aa303afopenalex-snapshot
Le statut dynamique des axiomes : des preuves aux modèles
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.