The following pages link to (Q5736158):
Displayed 26 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Interpolation theorem in many-valued logics with designated values (Q911578) (← links)
- Sentential logics and Maehara interpolation property (Q1076010) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← 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)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Computing interpolants in implicational logics (Q2503400) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- Interpolation via translations (Q3184216) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- On interpolation when function symbols are present (Q4106157) (← links)
- Interpolation formulae for predicates and terms which carry their own history (Q4106158) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate (Q5241408) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- Interpolation Method for Multicomponent Sequent Calculi (Q5283429) (← links)
- An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic (Q5747778) (← links)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS (Q6041346) (← links)