An interpolation theorem in the predicate calculus
From MaRDI portal
(Redirected from Publication:772218)
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)