On the public citation graph
Der Interpolationssatz der intuitionistischen Prädikatenlogik
0 signed · 66 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/978-3-642-94780-3openalex-snapshot
Mathematische Gesetze der Logik I
inferredcites →https://doi.org/10.1007/bf01342950openalex-snapshot
Schlußweisen-Kalküle der Prädikatenlogik
inferredcites →https://doi.org/10.1016/s1385-7258(53)50042-3openalex-snapshot
On Padoa’s Method in the Theory of Definition
inferredcites →https://doi.org/10.2307/2963593openalex-snapshot
Linear reasoning. A new form of the Herbrand-Gentzen theorem
inferredcites →https://doi.org/10.2307/2963594openalex-snapshot
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
inferredcites →https://doi.org/10.2969/jmsj/01340357openalex-snapshot
A formal system of first-order predicate calculus with infinitely long expressions
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-50524-9_11openalex-snapshot
Interpolation and Quantifiers in Ortholattices
inferred← citeshttps://doi.org/10.1007/978-94-007-0485-5_2openalex-snapshot
Interpolation and Definability
inferred← citeshttps://doi.org/10.1007/bf00370479openalex-snapshot
Interpolation properties of superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/bf01670006openalex-snapshot
Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras
inferred← citeshttps://doi.org/10.1007/bf01881546openalex-snapshot
Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach
inferred← citeshttps://doi.org/10.1007/bf02008529openalex-snapshot
Unterstruktur-invariante Formeln in der intuitionistischen Logik
inferred← citeshttps://doi.org/10.1007/bf02019780openalex-snapshot
Homorphie-invariante Formeln in der intuitionistischen Logik
inferred← citeshttps://doi.org/10.1007/bf02276803openalex-snapshot
On interpolation when function symbols are present
inferred← citeshttps://doi.org/10.1007/bf02367195openalex-snapshot
Predicate superintuitionistic logics without interpolation
inferred← citeshttps://doi.org/10.1007/bf02671609openalex-snapshot
Interpolation in superintuitionistic predicate logics with equality
inferred← citeshttps://doi.org/10.1007/bf02674609openalex-snapshot
On a fragment of intuitionistic logic which is complete with respect to the kripke frames with finite domains
inferred← citeshttps://doi.org/10.1007/bf02732369openalex-snapshot
Interpolation property and superintuitionistic predicate logics
inferred← citeshttps://doi.org/10.1007/bfb0075319openalex-snapshot
Formalizations of certain intermediate logics Part I
inferred← citeshttps://doi.org/10.1007/s10469-007-0034-yopenalex-snapshot
A method of proving interpolation in paraconsistent extensions of the minimal logic
inferred← citeshttps://doi.org/10.1007/s10469-011-9127-8openalex-snapshot
Decidability of the weak interpolation property over the minimal logic
inferred← citeshttps://doi.org/10.1007/s10469-012-9180-yopenalex-snapshot
Interpolation and the projective Beth property in well-composed logics
inferred← citeshttps://doi.org/10.1007/s11202-010-0050-3openalex-snapshot
Joint consistency in extensions of the minimal logic
inferred← citeshttps://doi.org/10.1007/s11225-011-9351-1openalex-snapshot
Interpolation and Definability over the Logic Gl
inferred← citeshttps://doi.org/10.1007/s11225-019-09869-yopenalex-snapshot
Proof Theory for Positive Logic with Weak Negation
inferred← citeshttps://doi.org/10.1007/s11225-023-10067-0openalex-snapshot
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
inferred← citeshttps://doi.org/10.1007/s11225-025-10213-wopenalex-snapshot
Split Interpolation Refining Craig’s Theorem via Three-Valued Logics
inferred← citeshttps://doi.org/10.1007/s11229-008-9359-xopenalex-snapshot
Interpolation in non-classical logics
inferred← citeshttps://doi.org/10.1016/1385-7258(81)90019-6openalex-snapshot
The interpolation theorem in fragments of logics
inferred← citeshttps://doi.org/10.1016/j.apal.2018.08.007openalex-snapshot
Multicomponent proof-theoretic method for proving interpolation properties
inferred← citeshttps://doi.org/10.1016/j.artint.2007.12.003openalex-snapshot
On propositional definability
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.05.040openalex-snapshot
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
inferred← citeshttps://doi.org/10.1016/j.fss.2024.108958openalex-snapshot
The Craig interpolation property in first-order Gödel logic
inferred← citeshttps://doi.org/10.1016/j.topol.2018.03.006openalex-snapshot
An open mapping theorem for finitely copresented Esakia spaces
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71127-3openalex-snapshot
Aspects of Constructive Mathematics
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71239-4openalex-snapshot
Semantic Proof of The Craig Interpolation Theorem for Intuitionistic Logic and Extensions. Part I
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71957-8openalex-snapshot
Interpolation Theorem for Some Modal Logics
inferred← citeshttps://doi.org/10.1016/s0168-0072(00)00009-9openalex-snapshot
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic
inferred← citeshttps://doi.org/10.1016/s0168-0072(01)00060-4openalex-snapshot
Interpolation theorems for intuitionistic predicate logic
inferred← citeshttps://doi.org/10.1017/jsl.2025.10091openalex-snapshot
LYNDON INTERPOLATION PROPERTY FOR EXTENSIONS OF $\mathbf {S4}$ AND INTERMEDIATE PROPOSITIONAL LOGICS
inferred← citeshttps://doi.org/10.1017/s0022481200041177openalex-snapshot
Interpolation in fragments of intuitionistic propositional logic
inferred← citeshttps://doi.org/10.1017/s002776300002403xopenalex-snapshot
On a Characteristic Feature of the Positive Logics
inferred← citeshttps://doi.org/10.1017/s0027763000024041openalex-snapshot
A Lemma which Distinguishes Minimal Logics from Other Logics
inferred← citeshttps://doi.org/10.1023/a:1004275029985openalex-snapshot
Modal Languages and Bounded Fragments of Predicate Logic
inferred← citeshttps://doi.org/10.1090/trans2/192/02openalex-snapshot
Lambek calculus and formal grammars
inferred← citeshttps://doi.org/10.1134/s0037446612050096openalex-snapshot
The decidability of craig’s interpolation property in well-composed J-logics
inferred← citeshttps://doi.org/10.11575/prism/38803openalex-snapshot
Proof Theory of Finite-valued Logics
inferred← citeshttps://doi.org/10.1201/9780203910139.ch21openalex-snapshot
Definability and Interpolation in Extensions of Johansson's Minimal Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1040149353openalex-snapshot
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic
inferred← citeshttps://doi.org/10.22405/2226-8383-2024-25-2-222-234openalex-snapshot
Special cases of the interpolation theorem for classical predicate calculus
inferred← citeshttps://doi.org/10.22405/2226-8383-2025-26-4-212-223openalex-snapshot
Некоторые специальные случаи интерполяционной теоремы для интуиционистского исчисления предикатов
inferred← citeshttps://doi.org/10.2307/2274095openalex-snapshot
Equality and lyndon's interpolation theorem
inferred← citeshttps://doi.org/10.2307/2275398openalex-snapshot
Interpolation in fragments of classical linear logic
inferred← citeshttps://doi.org/10.3792/pja/1195519752openalex-snapshot
A note on Schütte's interpolation theorem
inferred← citeshttps://doi.org/10.4288/jafpos.33.0_145openalex-snapshot
How Can We Avoid Popper's Collapsing Problem and Have Craig Interpolation?
inferred← citeshttps://doi.org/10.4288/jafpos1956.3.12openalex-snapshot
An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem
inferred← citeshttps://doi.org/10.48550/arxiv.1401.3897openalex-snapshot
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
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.