On the public citation graph

The adequacy problem for inferential logic

https://doi.org/10.1007/bf00245941
0 signed · 47 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 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-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/bfb0066739openalex-snapshot
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
inferredcites →https://doi.org/10.1007/bfb0080643openalex-snapshot
Principles of Intuitionism
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)x7073-9openalex-snapshot
Intuitionism An Introduction
inferredcites →https://doi.org/10.1093/analys/22.6.130openalex-snapshot
Tonk, Plonk and Plink
inferredcites →https://doi.org/10.2307/2963526openalex-snapshot
On formulas of one variable in intuitionistic propositional calculus

What points at this work

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

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_8openalex-snapshot
Inversion Principles and Introduction Rules
inferred← citeshttps://doi.org/10.1007/978-3-319-18362-6_2openalex-snapshot
Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion
inferred← citeshttps://doi.org/10.1007/978-3-319-18362-6_3openalex-snapshot
Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators
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_5openalex-snapshot
Some Remarks on Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-90-481-9670-8_1openalex-snapshot
What Is a Good Sequent Calculus?
inferred← citeshttps://doi.org/10.1007/978-94-007-0002-4_5openalex-snapshot
Functional Completeness for a Hybrid Logic
inferred← citeshttps://doi.org/10.1007/978-94-007-0479-4_4openalex-snapshot
Non-Deterministic Semantics for Logical Systems
inferred← citeshttps://doi.org/10.1007/978-94-009-5203-4_8openalex-snapshot
Proof Theory and Meaning
inferred← citeshttps://doi.org/10.1007/978-94-009-8356-4_10openalex-snapshot
Philosophical aspects of proof theory
inferred← citeshttps://doi.org/10.1007/978-94-009-9056-2_5openalex-snapshot
Constructivist Approaches to Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-9825-4_2openalex-snapshot
Proofs and the Meaning and Completeness of the Logical Constants
inferred← citeshttps://doi.org/10.1007/978-94-010-0387-2_2openalex-snapshot
Sequent Systems for Modal Logics
inferred← citeshttps://doi.org/10.1007/bf00245942openalex-snapshot
The adequacy problem for classical logic
inferred← citeshttps://doi.org/10.1007/bf01049305openalex-snapshot
Functional completeness for subsystems of intuitionistic propositional logic
inferred← citeshttps://doi.org/10.1007/bfb0099494openalex-snapshot
Generalized rules for quantifiers and the completeness of the intuitionistic operators &, ν, ⊃, λ, ∀, ε
inferred← citeshttps://doi.org/10.1007/s10958-006-0116-8openalex-snapshot
Intuitionistic Frege systems are polynomially equivalent
inferred← citeshttps://doi.org/10.1007/s11225-005-3704-6openalex-snapshot
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere
inferred← citeshttps://doi.org/10.1007/s11225-008-9105-xopenalex-snapshot
What is the Logic of Inference?
inferred← citeshttps://doi.org/10.1007/s11225-014-9562-3openalex-snapshot
The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony
inferred← citeshttps://doi.org/10.1007/s11225-014-9564-1openalex-snapshot
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different
inferred← citeshttps://doi.org/10.1007/s11225-016-9692-xopenalex-snapshot
General-Elimination Stability
inferred← citeshttps://doi.org/10.1007/s11229-005-5518-5openalex-snapshot
Logical Connectives for Constructive Modal Logic
inferred← citeshttps://doi.org/10.1016/j.apal.2003.10.016openalex-snapshot
Tarski's conception of logic
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70676-7openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1017/9781316755983.021openalex-snapshot
Logical constants: the variable fortunes of an elusive notion
inferred← citeshttps://doi.org/10.1017/cbo9781139626279.006openalex-snapshot
Logic, mathematics, and conceptual structuralism
inferred← citeshttps://doi.org/10.1017/s1755020313000385openalex-snapshot
ON FLATTENING ELIMINATION RULES
inferred← citeshttps://doi.org/10.1017/s1755020316000010openalex-snapshot
HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY
inferred← citeshttps://doi.org/10.1023/a:1005217827758openalex-snapshot
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations
inferred← citeshttps://doi.org/10.1080/01445340.2024.2393964openalex-snapshot
Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199291267.003.0010openalex-snapshot
Which Quantifiers are Logical?
inferred← citeshttps://doi.org/10.1111/j.1755-2567.2001.tb00200.xopenalex-snapshot
Natural Semantics: Why Natural Deduction is Intuitionistic
inferred← citeshttps://doi.org/10.1142/9789812799746_0007openalex-snapshot
Why Dialogical Logic?
inferred← citeshttps://doi.org/10.1305/ndjfl/1039096304openalex-snapshot
Logic, Logics, and Logicism
inferred← citeshttps://doi.org/10.2307/2274279openalex-snapshot
A natural extension of natural deduction
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.5860/choice.30-0222openalex-snapshot
The bounds of logic: a generalized viewpoint
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.