On the public citation graph

Basic Propositional Calculus II. Interpolation

https://doi.org/10.1007/pl00003844
0 signed · 20 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.1002/malq.19870330503openalex-snapshot
Weak Logics with Strict Implication
inferredcites →https://doi.org/10.1002/malq.19980440304openalex-snapshot
Basic Propositional Calculus I
inferredcites →https://doi.org/10.1007/978-94-015-8242-1_4openalex-snapshot
Modal Translations in K and D
inferredcites →https://doi.org/10.1007/bf01874706openalex-snapshot
A propositional logic with explicit fixed points
inferredcites →https://doi.org/10.1023/a:1008237600846openalex-snapshot
Speaking about Transitive Frames in Propositional Languages

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.200310032openalex-snapshot
Provably total functions of Basic Arithmetic
inferred← citeshttps://doi.org/10.1002/malq.200310056openalex-snapshot
New sequent calculi for Visser's Formal Propositional Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-53654-1_10openalex-snapshot
On PBZ$$^{*}$$–Lattices
inferred← citeshttps://doi.org/10.1007/978-3-030-53654-1_7openalex-snapshot
Implication via Spacetime
inferred← citeshttps://doi.org/10.1007/978-981-10-6355-8_12openalex-snapshot
Proof-Theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi
inferred← citeshttps://doi.org/10.1007/s00153-006-0018-yopenalex-snapshot
Amalgamation property for the class of basic algebras and some of its natural subclasses
inferred← citeshttps://doi.org/10.1007/s00153-024-00945-2openalex-snapshot
Bounded distributive lattices with strict implication and weak difference
inferred← citeshttps://doi.org/10.1023/a:1012499207246openalex-snapshot
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic
inferred← citeshttps://doi.org/10.1023/a:1022363219134openalex-snapshot
A Cut-Free Gentzen Formulation of Basic Propositional Calculus
inferred← citeshttps://doi.org/10.1080/11663081.2025.2551996openalex-snapshot
A semantical analysis of some subintuitionistic modal logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzm004openalex-snapshot
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1063372244openalex-snapshot
A Closer Look at Some Subintuitionistic Logics
inferred← citeshttps://doi.org/10.18778/0138-0680.2022.18openalex-snapshot
Interpolation Property on Visser's Formal Propositional Logic
inferred← citeshttps://doi.org/10.3390/axioms12100966openalex-snapshot
Residuated Basic Logic
inferred← citeshttps://doi.org/10.35537/10915/161760openalex-snapshot
Estudio de álgebras de Heyting débiles con operadores modales
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.