scientific article; zbMATH DE number 3199779
From MaRDI portal
Publication:5736158
zbMath0123.24601MaRDI QIDQ5736158
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Sentential logics and Maehara interpolation property ⋮ Interpolation Method for Multicomponent Sequent Calculi ⋮ Labelled interpolation systems for hyper-resolution, clausal, and local proofs ⋮ A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ Notes on Craig interpolation for LJ with strong negation ⋮ Interpolation via translations ⋮ On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ Interpolation in extensions of first-order logic ⋮ ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ Proof theory for positive logic with weak negation ⋮ A proof theory for the logic of provability in true arithmetic ⋮ An axiomatic approach to structuring specifications ⋮ Interpolation theorem in many-valued logics with designated values ⋮ Preservation of Craig interpolation by the product of matrix logics ⋮ Through an Inference Rule, Darkly ⋮ On interpolation when function symbols are present ⋮ Interpolation formulae for predicates and terms which carry their own history ⋮ Craig interpolation in the presence of unreliable connectives ⋮ An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic ⋮ Computing interpolants in implicational logics ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ Generalised graded interpolation ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
This page was built for publication: