On the public citation graph

Functional completeness for subsystems of intuitionistic propositional logic

https://doi.org/10.1007/bf01049305
0 signed · 29 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/10992.1573-0433openalex-snapshot
Journal of Philosophical Logic
inferredcites →https://doi.org/10.1007/3-540-56734-8openalex-snapshot
The Logic of Information Structures
inferredcites →https://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot
Relevance Logic and Entailment
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/bf00245941openalex-snapshot
The adequacy problem for inferential logic
inferredcites →https://doi.org/10.1007/bf00370633openalex-snapshot
Sequent-systems and groupoid models. II
inferredcites →https://doi.org/10.1007/bf00671566openalex-snapshot
Sequent-systems and groupoid models. I
inferredcites →https://doi.org/10.1007/bf01967817openalex-snapshot
Dialogspiele als Semantische Grundlage von Logikkalkülen
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.1007/bf01973341openalex-snapshot
Dialogspiele als Semantische Grundlage von Logikkalkülen
inferredcites →https://doi.org/10.1016/0304-3975(88)90037-0openalex-snapshot
The semantics and proof theory of linear logic
inferredcites →https://doi.org/10.1080/00029890.1958.11989160openalex-snapshot
The Mathematics of Sentence Structure
inferredcites →https://doi.org/10.1305/ndjfl/1093635337openalex-snapshot
Gentzenizing Schroeder-Heister's natural extension of natural deduction.
inferredcites →https://doi.org/10.2307/2271511openalex-snapshot
Logical connectives for intuitionistic propositional logic
inferredcites →https://doi.org/10.2307/2273798openalex-snapshot
Logics without the contraction rule
inferredcites →https://doi.org/10.2307/2274279openalex-snapshot
A natural extension of natural deduction
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.1007/978-3-030-25365-3_15openalex-snapshot
Priest on Negation
inferred← citeshttps://doi.org/10.1007/978-3-319-11041-7_1openalex-snapshot
Prawitz, Proofs, and Meaning
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/bfb0031928openalex-snapshot
Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic
inferred← citeshttps://doi.org/10.1007/s11229-005-5518-5openalex-snapshot
Logical Connectives for Constructive Modal Logic
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/jigpal/jzaf056openalex-snapshot
A note on the expressive completeness of LP in a metatheory without negation
inferred← citeshttps://doi.org/10.12775/llp.2019.010openalex-snapshot
On Definability of Connectives and Modal Logics over FDE
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.