On the public citation graph
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
0 signed · 41 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/bf01973339openalex-snapshot
Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
inferredcites →https://doi.org/10.2307/2268439openalex-snapshot
Widerspruchsfreier Aufbau der Logik I
inferredcites →https://doi.org/10.5283/epub.12590openalex-snapshot
Die Vollständigkeit des Operatorensystems {¬,^,v, } für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik
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.19950410108openalex-snapshot
Tarskian Structured Consequence Relations and Functional Completeness
inferred← citeshttps://doi.org/10.1002/malq.201300016openalex-snapshot
Strong negation in intuitionistic style sequent systems for residuated lattices
inferred← citeshttps://doi.org/10.1007/978-3-031-50981-0_1openalex-snapshot
Proof-Theoretic Semantics: An Autobiographical Survey
inferred← citeshttps://doi.org/10.1007/978-3-031-50981-0_11openalex-snapshot
A Note on Synonymy in Proof-Theoretic Semantics
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-540-45206-5_4openalex-snapshot
Tableaux with Four Signs as a Unified Framework
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-015-7676-5_13openalex-snapshot
Valuations for Direct Propositional Logic
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_1openalex-snapshot
Negation: Two Points of View
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_11openalex-snapshot
Negation As Falsity: A Reply to Tennant
inferred← citeshttps://doi.org/10.1007/978-94-017-1280-4_5openalex-snapshot
A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-1280-4_8openalex-snapshot
Tarskian Structured Consequence Relations and Functional Completeness
inferred← citeshttps://doi.org/10.1007/978-94-017-2798-3_8openalex-snapshot
A Proof-Theoretic Proof of Functional Completeness for Many Modal and Tense Logics
inferred← citeshttps://doi.org/10.1007/bf01181683openalex-snapshot
Informational interpretation of substructural propositional logics
inferred← citeshttps://doi.org/10.1007/bfb0031924openalex-snapshot
Reasoning with negative information, II: Hard negation, strong negation and logic programs
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/s00500-018-3588-9openalex-snapshot
Compatibly involutive residuated lattices and the Nelson identity
inferred← citeshttps://doi.org/10.1007/s10992-018-9467-0openalex-snapshot
HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)
inferred← citeshttps://doi.org/10.1007/s11225-005-8468-5openalex-snapshot
A Non-deterministic View on Non-classical Negations
inferred← citeshttps://doi.org/10.1007/s11225-008-9150-5openalex-snapshot
On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics
inferred← citeshttps://doi.org/10.1007/s11229-005-5518-5openalex-snapshot
Logical Connectives for Constructive Modal Logic
inferred← citeshttps://doi.org/10.1007/s11229-020-02778-xopenalex-snapshot
Varieties of entailment: introduction to the special issue
inferred← citeshttps://doi.org/10.1017/s1755020324000248openalex-snapshot
BI-CONNEXIVE LOGIC, BILATERALISM, AND NEGATION INCONSISTENCY
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.1023/a:1021256513220openalex-snapshot
Diamonds are a Philosopher's Best Friends
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/jigpal/11.6.615openalex-snapshot
Kripke Completeness of First-Order Constructive Logics with Strong Negation
inferred← citeshttps://doi.org/10.1093/jigpal/jzm012openalex-snapshot
A Note on Negation in Categorial Grammar
inferred← citeshttps://doi.org/10.12775/llp.2024.001openalex-snapshot
Constructive Logic is Connexive and Contradictory
inferred← citeshttps://doi.org/10.18778/0138-0680.2023.12openalex-snapshot
Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
inferred← citeshttps://doi.org/10.18778/0138-0680.2023.18openalex-snapshot
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
inferred← citeshttps://doi.org/10.18778/0138-0680.2023.24openalex-snapshot
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
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.