On the public citation graph
Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras
0 signed · 165 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/bf01470747openalex-snapshot
Der Interpolationssatz der intuitionistischen Prädikatenlogik
inferredcites →https://doi.org/10.1007/bf02330744openalex-snapshot
Pretabular superintuitionist logic
inferredcites →https://doi.org/10.1007/bf02485230openalex-snapshot
Amalgamation properties and interpolation theorems for equational theories
inferredcites →https://doi.org/10.1007/bf02485829openalex-snapshot
Base-undecibable properties of universal varieties
inferredcites →https://doi.org/10.1007/bf02944991openalex-snapshot
Amalgamation, congruence-extension, and interpolation properties in algebras
inferredcites →https://doi.org/10.1016/s0049-237x(08)71239-4openalex-snapshot
Semantic Proof of The Craig Interpolation Theorem for Intuitionistic Logic and Extensions. Part I
inferredcites →https://doi.org/10.1016/s0049-237x(08)71957-8openalex-snapshot
Interpolation Theorem for Some Modal Logics
inferredcites →https://doi.org/10.1090/s0002-9947-1971-0274359-9openalex-snapshot
The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
inferredcites →https://doi.org/10.2140/pjm.1973.45.507openalex-snapshot
The amalgamation property in equational classes of modular lattices
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.2307/2964753openalex-snapshot
A propositional calculus with denumerable matrix
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.200410022openalex-snapshot
Bounded distributive lattices with strict implication
inferred← citeshttps://doi.org/10.1007/10722086_15openalex-snapshot
Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics
inferred← citeshttps://doi.org/10.1007/11546207_27openalex-snapshot
Routley Semantics for Answer Sets
inferred← citeshttps://doi.org/10.1007/978-3-030-53654-1_4openalex-snapshot
Residuated Expansions of Lattice-Ordered Structures
inferred← citeshttps://doi.org/10.1007/978-3-030-88853-4_18openalex-snapshot
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-47921-2_8openalex-snapshot
Proof Theory for Lax Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-68934-5_16openalex-snapshot
Investigating Definability in Propositional Logic via Sheaves on Grothendieck Topologies
inferred← citeshttps://doi.org/10.1007/978-3-032-04167-8_4openalex-snapshot
An Analytic Representation of the Semantics of First-Order S5
inferred← citeshttps://doi.org/10.1007/978-3-032-32589-1_21openalex-snapshot
Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
inferred← citeshttps://doi.org/10.1007/978-3-319-66167-4_15openalex-snapshot
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation
inferred← citeshttps://doi.org/10.1007/978-3-319-66167-4_18openalex-snapshot
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case)
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_13openalex-snapshot
On Algebraisation of Superintuitionistic Predicate Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-45220-1_32openalex-snapshot
Complexity of Some Problems in Modal and Intuitionistic Calculi
inferred← citeshttps://doi.org/10.1007/978-81-322-1812-8_54-1openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-81-322-2577-5_54openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-94-007-0485-5_2openalex-snapshot
Interpolation and Definability
inferred← citeshttps://doi.org/10.1007/bf00370159openalex-snapshot
The simple substitution property of G�del's intermediate propositional logics S n 's
inferred← citeshttps://doi.org/10.1007/bf00370182openalex-snapshot
The disjunction property of intermediate propositional logics
inferred← citeshttps://doi.org/10.1007/bf00370479openalex-snapshot
Interpolation properties of superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/bf00403332openalex-snapshot
Logical matrices and the amalgamation property
inferred← citeshttps://doi.org/10.1007/bf01158092openalex-snapshot
Interpolation property for extensions of intuitionistic proof logic
inferred← citeshttps://doi.org/10.1007/bf01237716openalex-snapshot
Interpolation and the Robinson property for logics not closed under the Boolean operations
inferred← citeshttps://doi.org/10.1007/bf01268617openalex-snapshot
On the interpolation property of some intuitionistic modal logics
inferred← citeshttps://doi.org/10.1007/bf01669837openalex-snapshot
Interpolation theorems in modal logics. Sufficient conditions
inferred← citeshttps://doi.org/10.1007/bf01673502openalex-snapshot
Interpolation theorems in modal logics and amalgamable varieties of topological 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/bf01881547openalex-snapshot
Interpolation and amalgamation properties in varieties of equivalential algebras
inferred← citeshttps://doi.org/10.1007/bf01979939openalex-snapshot
Undecidable properties of extensions of the logic of provability
inferred← citeshttps://doi.org/10.1007/bf01982206openalex-snapshot
Absence of the interpolation property in the consistent normal modal extensions of the dummett logic
inferred← citeshttps://doi.org/10.1007/bf02259848openalex-snapshot
Modal logics and varieties of modal algebras: The beth properties, interpolation, and amalgamation
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/bf02671734openalex-snapshot
Superintuitionistic logics and the projective beth property
inferred← citeshttps://doi.org/10.1007/bf02671741openalex-snapshot
Projective beth properties in modal and superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/bf02732369openalex-snapshot
Interpolation property and superintuitionistic predicate logics
inferred← citeshttps://doi.org/10.1007/bfb0043086openalex-snapshot
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic
inferred← citeshttps://doi.org/10.1007/s00012-002-8202-3openalex-snapshot
Functional monadic Heyting algebras
inferred← citeshttps://doi.org/10.1007/s00012-015-0339-yopenalex-snapshot
Gödel algebras: interactive dualities and their applications
inferred← citeshttps://doi.org/10.1007/s00012-020-00666-6openalex-snapshot
On semiconic idempotent commutative residuated lattices
inferred← citeshttps://doi.org/10.1007/s00012-020-00694-2openalex-snapshot
Epimorphisms in varieties of subidempotent residuated structures
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-011-0251-xopenalex-snapshot
Amalgamation through quantifier elimination for varieties of commutative residuated lattices
inferred← citeshttps://doi.org/10.1007/s001530100120openalex-snapshot
On the Beth properties of some intuitionistic modal logics
inferred← citeshttps://doi.org/10.1007/s10469-005-0038-4openalex-snapshot
Interpolation and Definability in Extensions of the Minimal Logic
inferred← citeshttps://doi.org/10.1007/s10469-006-0005-8openalex-snapshot
The Projective Beth Property and Interpolation in Positive and Related Logics
inferred← citeshttps://doi.org/10.1007/s10469-006-0021-8openalex-snapshot
Transfer theorems for extensions of the paraconsistent Nelson logic
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-008-0006-xopenalex-snapshot
A weak form of interpolation in equational logic
inferred← citeshttps://doi.org/10.1007/s10469-009-9042-4openalex-snapshot
Restricted interpolation property in superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/s10469-009-9070-0openalex-snapshot
Decidability of the interpolation problem and of related properties in tabular logics
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/s10469-013-9227-8openalex-snapshot
The projective Beth property in well-composed logics
inferred← citeshttps://doi.org/10.1007/s10469-017-9444-7openalex-snapshot
Recognizable and Perceptible Logics and Varieties
inferred← citeshttps://doi.org/10.1007/s10469-019-09533-3openalex-snapshot
The Interpolation Problem in Finite-Layered Pre-Heyting Logics
inferred← citeshttps://doi.org/10.1007/s10469-020-09572-1openalex-snapshot
Constructive Classifications of Modal Logics and Extensions of Minimal Logic
inferred← citeshttps://doi.org/10.1007/s10469-024-09742-5openalex-snapshot
Pretabularity and Craig’s Interpolation Property
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-006-7203-1openalex-snapshot
Definability and Interpolation in Non-Classical Logics
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-012-9393-zopenalex-snapshot
Fatal Heyting Algebras and Forcing Persistent Sentences
inferred← citeshttps://doi.org/10.1007/s11225-012-9451-6openalex-snapshot
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property
inferred← citeshttps://doi.org/10.1007/s11225-013-9520-5openalex-snapshot
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
inferred← citeshttps://doi.org/10.1007/s11225-025-10206-9openalex-snapshot
Amalgamation in Semilinear Residuated Lattices
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.1007/s11229-010-9781-8openalex-snapshot
Reactive intuitionistic tableaux
inferred← citeshttps://doi.org/10.1016/0165-0114(94)90257-7openalex-snapshot
On transitivity of strict preference relations
inferred← citeshttps://doi.org/10.1016/0895-7177(91)90085-lopenalex-snapshot
Topologies for matter-energetical lattice representations of systems
inferred← citeshttps://doi.org/10.1016/0895-7177(95)00097-lopenalex-snapshot
Nonmodular lattices derived from distributive ones representing qualitative biologic interactions
inferred← citeshttps://doi.org/10.1016/j.apal.2005.11.001openalex-snapshot
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation
inferred← citeshttps://doi.org/10.1016/j.apal.2005.12.015openalex-snapshot
Computing coproducts of finitely presented Gödel algebras
inferred← citeshttps://doi.org/10.1016/j.apal.2017.05.001openalex-snapshot
Uniform interpolation and compact congruences
inferred← citeshttps://doi.org/10.1016/j.apal.2017.07.003openalex-snapshot
A computational glimpse at the Leibniz and Frege hierarchies
inferred← citeshttps://doi.org/10.1016/j.apal.2018.04.001openalex-snapshot
Modularity results for interpolation, amalgamation and superamalgamation
inferred← citeshttps://doi.org/10.1016/j.apal.2019.02.004openalex-snapshot
Uniform interpolation and coherence
inferred← citeshttps://doi.org/10.1016/j.apal.2019.05.008openalex-snapshot
Uniform interpolation and the existence of sequent calculi
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102824openalex-snapshot
Epimorphism surjectivity in varieties of Heyting algebras
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103509openalex-snapshot
Universal proof theory: Semi-analytic rules and Craig interpolation
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103528openalex-snapshot
Semiconic idempotent logic II: Beth definability and deductive interpolation
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103615openalex-snapshot
Interpolation in Hájek's basic logic
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.2015.12.016openalex-snapshot
On Deductive Interpolation for the Weak Nilpotent Minimum logic
inferred← citeshttps://doi.org/10.1016/j.fss.2020.02.002openalex-snapshot
Completeness for monadic fuzzy logics via functional algebras
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.jalgebra.2013.11.019openalex-snapshot
Amalgamation and interpolation in ordered algebras
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2023.01.020openalex-snapshot
Complemented MacNeille completions and algebras of fractions
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2023.03.020openalex-snapshot
The small index property of the Fraïssé limit of finite Heyting algebras
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.1016/j.tcs.2020.07.043openalex-snapshot
First-order interpolation derived from propositional interpolation
inferred← citeshttps://doi.org/10.1016/s0165-0114(02)00565-1openalex-snapshot
Strong amalgamation, Beck–Chevalley for equivalence relations and interpolation in algebraic logic
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00012-2openalex-snapshot
Model completions and r-Heyting categories
inferred← citeshttps://doi.org/10.1016/s0168-0072(99)00049-4openalex-snapshot
Intuitionistic logic and implicit definability
inferred← citeshttps://doi.org/10.1016/s0895-7177(96)00162-8openalex-snapshot
The algebraic relational theory in the analysis of the reversibility of biological processes becoming malignant
inferred← citeshttps://doi.org/10.1016/s0895-7177(97)00085-xopenalex-snapshot
Lattices due to increasing low energy relational processes
inferred← citeshttps://doi.org/10.1016/s0895-7177(98)00024-7openalex-snapshot
Changing algebras in low energy biologic relational processes
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80011-5openalex-snapshot
8 Modal consequence relations
inferred← citeshttps://doi.org/10.1017/9781316755785.009openalex-snapshot
Decidable properties of logical calculi and of varieties of algebras
inferred← citeshttps://doi.org/10.1017/9781316755860.008openalex-snapshot
Interpolation in goal-directed proof systems 1
inferred← citeshttps://doi.org/10.1017/jsl.2022.43openalex-snapshot
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS
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.1023/a:1004222213212openalex-snapshot
On Extensions of Intermediate Logics by Strong Negation
inferred← citeshttps://doi.org/10.1023/a:1010208217965openalex-snapshot
Decidability of the Projective Beth Property in Varieties of Heyting Algebras
inferred← citeshttps://doi.org/10.1023/a:1010217022641openalex-snapshot
Algebraic Counterparts for Some Properties of Superintuitionistic Predicate Logics
inferred← citeshttps://doi.org/10.1023/a:1022628824337openalex-snapshot
Implicit Definability and 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/jzad009openalex-snapshot
Remarks on uniform interpolation property
inferred← citeshttps://doi.org/10.1093/jigpal/jzp040openalex-snapshot
Problem of restricted interpolation in superintuitionistic and some modal logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzq022openalex-snapshot
Completion and amalgamation of bounded distributive quasi lattices
inferred← citeshttps://doi.org/10.1093/jigpal/jzw010openalex-snapshot
Skolemization in intermediate logics with the finite model property
inferred← citeshttps://doi.org/10.1093/logcom/11.2.283openalex-snapshot
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
inferred← citeshttps://doi.org/10.1093/logcom/exab015openalex-snapshot
Interpolation for intermediate logics via injective nested sequents
inferred← citeshttps://doi.org/10.1093/logcom/exae057openalex-snapshot
Uniform lyndon interpolation for basic non-normal modal and conditional logics
inferred← citeshttps://doi.org/10.1093/logcom/exaf079openalex-snapshot
An algebraic approach to the study of monadic substructural predicate logics over FLew
inferred← citeshttps://doi.org/10.1093/logcom/exn084openalex-snapshot
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
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.1134/s0037446614010145openalex-snapshot
The Lyndon property and uniform interpolation over the Grzegorczyk logic
inferred← citeshttps://doi.org/10.1134/s0037446615030118openalex-snapshot
Interpolation over the minimal logic and Odintsov intervals
inferred← citeshttps://doi.org/10.1134/s0037446618040109openalex-snapshot
Extensions of the Minimal Logic and the Interpolation Problem
inferred← citeshttps://doi.org/10.1134/s0037446621050104openalex-snapshot
Hybrid Extensions of the Minimal Logic
inferred← citeshttps://doi.org/10.1134/s0037446624020095openalex-snapshot
Craig’s Interpolation Property in Pretabular Logics
inferred← citeshttps://doi.org/10.1134/s0081543812070036openalex-snapshot
Amalgamation, interpolation, and implicit definability in varieties of algebras
inferred← citeshttps://doi.org/10.1142/s0218339000000213openalex-snapshot
REVIEW: THE ALGEBRAIC RELATIONAL THEORY AND ITS APPLICATIONS
inferred← citeshttps://doi.org/10.1145/3680284openalex-snapshot
Interpolation in Linear Logic and Related Systems
inferred← citeshttps://doi.org/10.1201/9780203910139.ch21openalex-snapshot
Definability and Interpolation in Extensions of Johansson's Minimal Logic
inferred← citeshttps://doi.org/10.12775/llp.2014.019openalex-snapshot
On classical behavior of intuitionistic modalities
inferred← citeshttps://doi.org/10.12775/llp.2016.002openalex-snapshot
The lattice of Belnapian modal logics: Special extensions and counterparts
inferred← citeshttps://doi.org/10.18778/0138-0680.47.2.03openalex-snapshot
Variable Sharing in Substructural Logics: an Algebraic Characterization
inferred← citeshttps://doi.org/10.2178/jsl/1190150051openalex-snapshot
Complexity of interpolation and related problems in positive calculi
inferred← citeshttps://doi.org/10.22405/2226-8383-2025-26-4-212-223openalex-snapshot
Некоторые специальные случаи интерполяционной теоремы для интуиционистского исчисления предикатов
inferred← citeshttps://doi.org/10.2307/2274697openalex-snapshot
Incompleteness results in Kripke semantics
inferred← citeshttps://doi.org/10.2307/2275108openalex-snapshot
The undecidability of the disjunction property of propositional logics and other related problems
inferred← citeshttps://doi.org/10.26686/ajl.v17i2.6468openalex-snapshot
Free lattices proof-theoretically
inferred← citeshttps://doi.org/10.2969/msjmemoirs/00201c060openalex-snapshot
Proof-Theoretic Methods in Nonclassical Logic --an Introduction
inferred← citeshttps://doi.org/10.33540/1486openalex-snapshot
Uniform Interpolation and Admissible Rules
inferred← citeshttps://doi.org/10.4064/-46-1-159-168openalex-snapshot
Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics
inferred← citeshttps://doi.org/10.48550/arxiv.1312.0413openalex-snapshot
Gödel algebras: interactive dualities and their applications
inferred← citeshttps://doi.org/10.48550/arxiv.2011.10383openalex-snapshot
Proof Theory for Intuitionistic Strong Löb Logic
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.