An interpolation theorem in the predicate calculus

Cited in

(38)

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

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)