An interpolation theorem in the predicate calculus

Cited in

(38)

Existential Horn Sentences
Infinite coforcing in model theory
Through an inference rule, darkly
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
Properties preserved under algebraic constructions
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
Homorphie-invariante Formeln in der intuitionistischen Logik
The relevance of premises to conclusions of core proofs
Craig interpolation in the presence of unreliable connectives
COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
Harmonious logic: Craig's interpolation theorem and its descendants
Effective interpolation and preservation in guarded logics
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
The Lyndon property and uniform interpolation over the Grzegorczyk logic
scientific article; zbMATH DE number 7566058 (Why is no real title available?)
From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
First order properties on nowhere dense structures
Craig interpolation with clausal first-order tableaux
The Craig-Lyndon interpolation theorem in 3-valued logic
Multicomponent proof-theoretic method for proving interpolation properties
An interpolation theorem
Refinements of Vaught's normal from 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
Model theory of monadic predicate logic with the infinity quantifier
A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products
Range-restricted and Horn interpolation through clausal tableaux
Craig interpolation for networks of sentences
An extension of the Craig-Lyndon interpolation theorem
On the Craig-Lyndon interpolation theorem

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)