On the public citation graph

Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik

https://doi.org/10.1007/bf01973339

0 signed · 35 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-3-662-01539-1openalex-snapshot

Einführung in die Operative Logik und Mathematik

inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot

Untersuchungen �ber das logische Schlie�en. I

inferredcites →https://doi.org/10.2307/2313037openalex-snapshot

Foundations of Mathematical Logic.

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.1007/978-3-031-50981-0_1openalex-snapshot

Proof-Theoretic Semantics: An Autobiographical Survey

inferred← citeshttps://doi.org/10.1007/978-3-031-74527-0_8openalex-snapshot

Substructural Solutions to the Semantic Paradoxes: A Dialetheic Perspective

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_15openalex-snapshot

Harmony in Proof-Theoretic Semantics: A Reductive Analysis

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-22686-6_1openalex-snapshot

Advances in Proof-Theoretic Semantics: Introduction

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-22686-6_5openalex-snapshot

Some Remarks on Proof-Theoretic Semantics

inferred← citeshttps://doi.org/10.1007/978-90-481-9670-8_2openalex-snapshot

Modal Logic and Ordinary Sequent Calculi

inferred← citeshttps://doi.org/10.1007/978-90-481-9670-8_4openalex-snapshot

Semantic Methods

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-7548-0_1openalex-snapshot

Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

inferred← citeshttps://doi.org/10.1007/978-94-010-0387-2_2openalex-snapshot

Sequent Systems for Modal Logics

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/bf01049305openalex-snapshot

Functional completeness for subsystems of intuitionistic propositional logic

inferred← citeshttps://doi.org/10.1007/bf01969697openalex-snapshot

Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle

inferred← citeshttps://doi.org/10.1007/s10992-014-9336-4openalex-snapshot

External Curries

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-9150-5openalex-snapshot

On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics

inferred← citeshttps://doi.org/10.1007/s11229-004-6292-5openalex-snapshot

Introduction: 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-018-1687-xopenalex-snapshot

Faithfulness for naive validity

inferred← citeshttps://doi.org/10.1007/s11229-020-02778-xopenalex-snapshot

Varieties of entailment: introduction to the special issue

inferred← citeshttps://doi.org/10.1007/s11229-021-03415-xopenalex-snapshot

Substructural approaches to paradox: an introduction to the special issue

inferred← citeshttps://doi.org/10.1017/s1755020313000385openalex-snapshot

ON FLATTENING ELIMINATION RULES

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.1080/01445340.2024.2393970openalex-snapshot

A Generalized Notion of Refutation for Gentzen Calculi*

inferred← citeshttps://doi.org/10.2307/2274279openalex-snapshot

A natural extension of natural deduction

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.