An interpolation theorem in the predicate calculus

Cited in

(46)

Harmonious logic: Craig's interpolation theorem and its descendants
On sequence-conclusion natural deduction systems
A cut-free Gentzen-type system for the logic of the weak law of excluded middle
A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products
Infinite coforcing in model theory
Multicomponent proof-theoretic method for proving interpolation properties
Model theory of monadic predicate logic with the infinity quantifier
Craig interpolation in the presence of unreliable connectives
Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
Coherence in SMCCs and equivalences on derivations in IMML with unit
Craig interpolation with clausal first-order tableaux
An interpolation theorem
Properties preserved under algebraic constructions
Through an inference rule, darkly
The relevance of premises to conclusions of core proofs
Equality and lyndon's interpolation theorem
Refinements of Vaught's normal from theorem
Craig interpolation for networks of sentences
The Lyndon property and uniform interpolation over the Grzegorczyk logic
Projective model completeness
First order properties on nowhere dense structures
Uniform interpolants in $\mathcal{EUF}$: algorithms using DAG-representations
Interpolation and Symbol Elimination
From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
Effective interpolation and preservation in guarded logics
On the Craig-Lyndon interpolation theorem
The Craig-Lyndon interpolation theorem in 3-valued logic
An extension of the Craig-Lyndon interpolation theorem
Homorphie-invariante Formeln in der intuitionistischen Logik
Existential Horn Sentences
The laws of distribution for syllogisms
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
Lyndon Interpolation for Modal $$\mu $$-Calculus
Range-restricted and Horn interpolation through clausal tableaux
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
Constraint satisfaction, graph isomorphism, and the pebbling comonad
Special cases of the interpolation theorem for classical predicate calculus
Some special cases of the interpolation theorem for intuitionistic predicate calculus
Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
Types in torsion free Abelian groups
Nonelementary inclusive varieties of groups and semigroups
Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
Equi-rank homomorphism preservation theorem on finite structures
Homomorphism preservation theorems for many-valued structures
Agent interpolation in distributed systems
Uniform Lyndon interpolation property in propositional modal logics

This page was built for publication: An interpolation theorem in the predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q772218)