Pages that link to "Item:Q772218"

The following pages link to An interpolation theorem in the predicate calculus (Q772218):

Displaying 37 items.

• Craig interpolation for networks of sentences (Q435205) (← links)
• The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
• Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
• Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
• On sequence-conclusion natural deduction systems (Q1062053) (← links)
• A cut-free Gentzen-type system for the logic of the weak law of excluded middle (Q1100191) (← links)
• A generalization of Lyndon's theorem characterizing sentences preserved in subdirect products (Q1219880) (← links)
• Infinite coforcing in model theory (Q1220510) (← links)
• Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
• Model theory of monadic predicate logic with the infinity quantifier (Q2144617) (← links)
• Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
• Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
• Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
• An Interpolation Theorem (Q2711348) (← links)
• Properties preserved under algebraic constructions (Q3257768) (← links)
• Through an Inference Rule, Darkly (Q3305631) (← links)
• THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS (Q3459088) (← links)
• Equality and lyndon's interpolation theorem (Q3691642) (← links)
• Refinements of Vaught's normal from theorem (Q3875914) (← links)
• Projective model completeness (Q4774039) (← links)
• First order properties on nowhere dense structures (Q4931094) (← links)
• (Q5094130) (← links)
• Interpolation and Symbol Elimination (Q5191103) (← links)
• From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
• Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
• On the Craig-Lyndon interpolation theorem (Q5573360) (← links)
• The Craig-Lyndon interpolation theorem in 3-valued logic (Q5613914) (← links)
• An extension of the Craig-Lyndon interpolation theorem (Q5623651) (← links)
• Homorphie-invariante Formeln in der intuitionistischen Logik (Q5663837) (← links)
• Existential Horn Sentences (Q5722263) (← links)
• The laws of distribution for syllogisms (Q5937816) (← links)
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
• Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
• Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)
• Constraint satisfaction, graph isomorphism, and the pebbling comonad (Q6612794) (← links)
• Special cases of the interpolation theorem for classical predicate calculus (Q6647873) (← links)