An interpolation theorem in the predicate calculus

Cited In (38)

Through an inference rule, darkly
Infinite coforcing in model theory
A cut-free Gentzen-type system for the logic of the weak law of excluded middle
Coherence in SMCCs and equivalences on derivations in IMML with unit
Lyndon Interpolation for Modal $$\mu $$-Calculus
Interpolation and Symbol Elimination
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
Homorphie-invariante Formeln in der intuitionistischen Logik
Properties preserved under algebraic constructions
The relevance of premises to conclusions of core proofs
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
Craig interpolation in the presence of unreliable connectives
Effective interpolation and preservation in guarded logics
Harmonious logic: Craig's interpolation theorem and its descendants
Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
Constraint satisfaction, graph isomorphism, and the pebbling comonad
The laws of distribution for syllogisms
Title not available (Why is that?)
From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
The Lyndon property and uniform interpolation over the Grzegorczyk logic
First order properties on nowhere dense structures
The Craig-Lyndon interpolation theorem in 3-valued logic
Craig interpolation with clausal first-order tableaux
Multicomponent proof-theoretic method for proving interpolation properties
Refinements of Vaught's normal from theorem
An interpolation theorem
Special cases of the interpolation theorem for classical predicate calculus
Projective model completeness
Uniform Lyndon interpolation property in propositional modal logics
Equality and lyndon's interpolation theorem
On sequence-conclusion natural deduction systems
Range-restricted and Horn interpolation through clausal tableaux
Model theory of monadic predicate logic with the infinity quantifier
A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products
An extension of the Craig-Lyndon interpolation theorem
On the Craig-Lyndon interpolation theorem
Craig interpolation for networks of sentences
Existential Horn Sentences

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)