On the public citation graph
On the structural completeness of some pure implicational propositional calculi
0 signed · 34 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.1002/malq.19640101305openalex-snapshot
INVESTIGATIONS INTO IMPLICATIONAL S5
inferredcites →https://doi.org/10.1007/978-94-010-9614-0_17openalex-snapshot
Calculi of Pure Strict Implication
inferredcites →https://doi.org/10.2307/2270054openalex-snapshot
On the scope of the classical deduction theorem
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.19750210138openalex-snapshot
Structural completeness of the first‐order predicate calculus
inferred← citeshttps://doi.org/10.1002/malq.201600046openalex-snapshot
Algebraic semantics for the ‐fragment of and its properties
inferred← citeshttps://doi.org/10.1002/malq.201900012openalex-snapshot
Singly generated quasivarieties and residuated structures
inferred← citeshttps://doi.org/10.1007/978-1-4899-0548-2_3openalex-snapshot
Structural Completeness of Purely Implicational Intermediate Logics
inferred← citeshttps://doi.org/10.1007/978-3-662-46906-4_2openalex-snapshot
Tutorial on Admissible Rules in Gudauri
inferred← citeshttps://doi.org/10.1007/978-94-011-0215-5_4openalex-snapshot
Free and projective Heyting and monadic Heyting algebras
inferred← citeshttps://doi.org/10.1007/978-94-015-8273-5_14openalex-snapshot
A Minimal Implicational Logic
inferred← citeshttps://doi.org/10.1007/bf00370188openalex-snapshot
On structural completeness of implicational logics
inferred← citeshttps://doi.org/10.1007/bf02123806openalex-snapshot
Matrix approach in methodology of sentential calculi
inferred← citeshttps://doi.org/10.1007/bf02123815openalex-snapshot
Structural completeness of Gödel's and Dummett's propositional calculi
inferred← citeshttps://doi.org/10.1007/bf02123821openalex-snapshot
Proof of structural completeness of a certain class of implicative propositional calculi
inferred← citeshttps://doi.org/10.1007/s11225-022-10012-7openalex-snapshot
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality
inferred← citeshttps://doi.org/10.1007/s11225-024-10117-1openalex-snapshot
Algebraic Semantics for a Mixed Type Fragment of IPC
inferred← citeshttps://doi.org/10.1007/s11787-017-0180-5openalex-snapshot
Admissibility in Positive Logics
inferred← citeshttps://doi.org/10.1016/j.apal.2010.09.001openalex-snapshot
Admissible rules in the implication–negation fragment of intuitionistic logic
inferred← citeshttps://doi.org/10.1016/j.jpaa.2012.02.006openalex-snapshot
A category equivalence for odd Sugihara monoids and its applications
inferred← citeshttps://doi.org/10.1017/jsl.2015.5openalex-snapshot
UNIFICATION IN INTERMEDIATE LOGICS
inferred← citeshttps://doi.org/10.1017/s1755020319000169openalex-snapshot
HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
inferred← citeshttps://doi.org/10.1090/s0002-9947-2014-06072-8openalex-snapshot
Idempotent residuated structures: Some category equivalences and their applications
inferred← citeshttps://doi.org/10.1093/jigpal/jzab014openalex-snapshot
Unification with parameters in the implication fragment of classical propositional logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzn014openalex-snapshot
Structural Completeness in Substructural Logics
inferred← citeshttps://doi.org/10.1093/logcom/ext031openalex-snapshot
An Avron rule for fragments of R-mingle
inferred← citeshttps://doi.org/10.1215/00294527-2009-004openalex-snapshot
Structural Completeness in Fuzzy Logics
inferred← citeshttps://doi.org/10.1215/00294527-2022-0021openalex-snapshot
Structural Completeness in Many-Valued Logics with Rational Constants
inferred← citeshttps://doi.org/10.1215/00294527-345997openalex-snapshot
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics
inferred← citeshttps://doi.org/10.1215/00294527-3659307openalex-snapshot
Unification on Subvarieties of Pseudocomplemented Distributive Lattices
inferred← citeshttps://doi.org/10.1215/00294527-3659423openalex-snapshot
Algebraic Logic Perspective on Prucnal’s Substitution
inferred← citeshttps://doi.org/10.1215/00294527-3671151openalex-snapshot
Admissible Rules and the Leibniz Hierarchy
inferred← citeshttps://doi.org/10.2307/2272897openalex-snapshot
Note on deducibility and many-valuedness
inferred← citeshttps://doi.org/10.48550/arxiv.1610.08700openalex-snapshot
Admissibility in Positive 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.