On the public citation graph

�ber Axiomensysteme f�r beliebige Satzsysteme

https://doi.org/10.1007/bf01454856
0 signed · 98 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/bf02901870openalex-snapshot
Das kinematische und das dynamische naturbild

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.19670130302openalex-snapshot
Modus Ponens and Derivation from Horn Formulas
inferred← citeshttps://doi.org/10.1002/net.3230010203openalex-snapshot
Steiner's problem in graphs and its implications
inferred← citeshttps://doi.org/10.1007/3-7643-7304-0_1openalex-snapshot
From Consequence Operator to Universal Logic: A Survey of General Abstract Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-20447-1_19openalex-snapshot
Point-Free Spectra of Linear Spreads
inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_18openalex-snapshot
First-Degree Entailment and Structural Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-030-65824-3_6openalex-snapshot
Syntax for Semantics: Krull’s Maximal Ideal Theorem
inferred← citeshttps://doi.org/10.1007/978-3-030-94452-0_4openalex-snapshot
Inference in Nineteenth-Century British Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-94926-6_1openalex-snapshot
Popper’s Theory of Deductive Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-94926-6_21openalex-snapshot
Popper’s Correspondence with Paul Bernays
inferred← citeshttps://doi.org/10.1007/978-3-031-50981-0_7openalex-snapshot
The Logicality of Equality
inferred← citeshttps://doi.org/10.1007/978-3-031-50981-0_8openalex-snapshot
Eight Rules for Implication Elimination
inferred← citeshttps://doi.org/10.1007/978-3-031-51406-7_14openalex-snapshot
Karl Popper on Deduction
inferred← citeshttps://doi.org/10.1007/978-3-0346-0145-0_1openalex-snapshot
Paul Hertz and the Origins of Structural Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-0346-0145-0_17openalex-snapshot
Formal Systems As Structures—A Bourbachic Architecture of Logic
inferred← citeshttps://doi.org/10.1007/978-3-0346-0145-0_27openalex-snapshot
Paranormal Logics and the Theory of Bivaluations
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-02171-3_1openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/978-3-319-10434-8_9openalex-snapshot
A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction
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-24756-4_3openalex-snapshot
The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen
inferred← citeshttps://doi.org/10.1007/978-3-319-42120-9_1openalex-snapshot
Part I: A sketch of Gentzen’s life and work
inferred← citeshttps://doi.org/10.1007/978-3-319-42120-9_3openalex-snapshot
Part III: The original writings
inferred← citeshttps://doi.org/10.1007/978-3-7643-8354-1_1openalex-snapshot
From Consequence Operator to Universal Logic: A Survey of General Abstract Logic
inferred← citeshttps://doi.org/10.1007/978-90-481-8785-0_2openalex-snapshot
Standard Natural Deduction
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-7548-0_5openalex-snapshot
Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
inferred← citeshttps://doi.org/10.1007/978-94-011-5108-5_21openalex-snapshot
Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems
inferred← citeshttps://doi.org/10.1007/978-94-017-1754-0_1openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/978-94-017-1754-0_11openalex-snapshot
A Bibliography on Analytic Tableaux Theorem Proving
inferred← citeshttps://doi.org/10.1007/bf00370426openalex-snapshot
Key notions of Tarski's methodology of deductive systems
inferred← citeshttps://doi.org/10.1007/bf01448897openalex-snapshot
�ber die Existenz unabh�ngiger Axiomensysteme zu unendlichen Satzsystemen
inferred← citeshttps://doi.org/10.1007/bf01696782openalex-snapshot
Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I
inferred← citeshttps://doi.org/10.1007/bf02435707openalex-snapshot
Closure categories
inferred← citeshttps://doi.org/10.1007/s00153-018-0653-0openalex-snapshot
Cut elimination for entailment relations
inferred← citeshttps://doi.org/10.1007/s00153-021-00806-2openalex-snapshot
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
inferred← citeshttps://doi.org/10.1007/s00407-026-00377-9openalex-snapshot
Paul Hertz’ contribution to proof theory: normal-form results for deductions
inferred← citeshttps://doi.org/10.1007/s10992-012-9234-6openalex-snapshot
Consequence Mining
inferred← citeshttps://doi.org/10.1007/s11225-014-9565-0openalex-snapshot
From Axiomatic Logic to Natural Deduction
inferred← citeshttps://doi.org/10.1007/s11225-014-9567-yopenalex-snapshot
A Survey of Nonstandard Sequent Calculi
inferred← citeshttps://doi.org/10.1007/s11225-019-09861-6openalex-snapshot
The Explosion Calculus
inferred← citeshttps://doi.org/10.1007/s11229-004-6298-zopenalex-snapshot
Semantic Values for Natural Deduction Derivations
inferred← citeshttps://doi.org/10.1007/s11229-019-02474-5openalex-snapshot
The nature of entailment: an informational approach
inferred← citeshttps://doi.org/10.1016/0304-3975(91)90223-oopenalex-snapshot
Closure functions and general iterates as reflectors
inferred← citeshttps://doi.org/10.1016/j.indag.2017.09.011openalex-snapshot
Eliminating disjunctions by disjunction elimination
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.12.021openalex-snapshot
The multiple facets of the canonical direct implicational basis
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70115-6openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0165-4896(03)00072-6openalex-snapshot
The presence of lattice theory in discrete problems of mathematical social sciences. Why
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70017-2openalex-snapshot
Gentzen’s Logic
inferred← citeshttps://doi.org/10.1017/bsl.2017.13openalex-snapshot
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
inferred← citeshttps://doi.org/10.1017/bsl.2021.66openalex-snapshot
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
inferred← citeshttps://doi.org/10.1017/cbo9780511756306.007openalex-snapshot
Logical completeness, form, and content: an archaeology
inferred← citeshttps://doi.org/10.1017/s0022481200041074openalex-snapshot
Near-equational and equational systems of logic for partial functions. II
inferred← citeshttps://doi.org/10.1017/s1755020324000170openalex-snapshot
CONSERVATION AS TRANSLATION
inferred← citeshttps://doi.org/10.1080/00927872.2018.1477947openalex-snapshot
Ordering groups constructively
inferred← citeshttps://doi.org/10.1080/01445340.2010.522365openalex-snapshot
Cut as Consequence
inferred← citeshttps://doi.org/10.1080/01445340.2013.817076openalex-snapshot
Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication
inferred← citeshttps://doi.org/10.1080/01445340.2016.1278517openalex-snapshot
Popper's Notion of Duality and His Theory of Negations
inferred← citeshttps://doi.org/10.1080/01445340.2019.1608493openalex-snapshot
The Role of Structural Reasoning in the Genesis of Graph Theory
inferred← citeshttps://doi.org/10.1080/01445340.2021.1889117openalex-snapshot
The Deduction Theorem (Before and After Herbrand)
inferred← citeshttps://doi.org/10.1080/01445340.2026.2696138openalex-snapshot
On the Graphical Representation of Proofs as Trees
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/oso/9780192895936.001.0001openalex-snapshot
An Introduction to Proof Theory
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.002.0005openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.003.0001openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.003.0002openalex-snapshot
Axiomatic calculi
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.003.0003openalex-snapshot
Natural deduction
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.003.0004openalex-snapshot
Normal deductions
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.003.0005openalex-snapshot
The sequent calculus
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.003.0006openalex-snapshot
The cut-elimination theorem
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.003.0007openalex-snapshot
The consistency of arithmetic
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.003.0008openalex-snapshot
Ordinal notations and induction
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.003.0009openalex-snapshot
The consistency of arithmetic, continued
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.005.0001openalex-snapshot
The Greek alphabet
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.005.0002openalex-snapshot
Set-theoretic notation
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.005.0003openalex-snapshot
Axioms, rules, and theorems of axiomatic calculi
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.005.0004openalex-snapshot
Exercises on axiomatic derivations
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.005.0005openalex-snapshot
Natural deduction
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.005.0006openalex-snapshot
Sequent calculus
inferred← citeshttps://doi.org/10.1093/oso/9780192895936.005.0007openalex-snapshot
Outline of the cut-elimination theorem
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/tec.1957.5222012openalex-snapshot
The Theory of Nets
inferred← citeshttps://doi.org/10.1142/s0219198907001242openalex-snapshot
SOME ORDER DUALITIES IN LOGIC, GAMES AND CHOICES
inferred← citeshttps://doi.org/10.1145/3373718.3394777openalex-snapshot
Resolving finite indeterminacy
inferred← citeshttps://doi.org/10.1215/00294527-2008-020openalex-snapshot
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System
inferred← citeshttps://doi.org/10.1515/9783110329490.107openalex-snapshot
Viertes Kapitel: Wittgenstein über logische Operationen
inferred← citeshttps://doi.org/10.18778/0138-0680.2021.21openalex-snapshot
A Sequent Systems without Improper Derivations
inferred← citeshttps://doi.org/10.18778/0138-0680.2022.12openalex-snapshot
A Classification of Improper Inference Rules
inferred← citeshttps://doi.org/10.2178/bsl/1182353872openalex-snapshot
Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
inferred← citeshttps://doi.org/10.2178/bsl/1344861886openalex-snapshot
Gentzen's Proof Systems: Byproducts in a Work of Genius
inferred← citeshttps://doi.org/10.2307/2274743openalex-snapshot
Near-equational and equational systems of logic for partial functions. I
inferred← citeshttps://doi.org/10.25560/18059openalex-snapshot
Sequent Calculi with Context Restrictions and Applications to Conditional Logic
inferred← citeshttps://doi.org/10.3166/jancl.18.79-125openalex-snapshot
Autoreferential semantics for many-valued modal logics
inferred← citeshttps://doi.org/10.4204/eptcs.351.4openalex-snapshot
A General Glivenko–Gödel Theorem for Nuclei
inferred← citeshttps://doi.org/10.48550/arxiv.1103.0217openalex-snapshot
A New Representation Theorem for Many-valued Modal Logics
inferred← citeshttps://doi.org/10.48550/arxiv.1103.1334openalex-snapshot
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued 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.