Publication:3669380
From MaRDI portal
zbMath0519.03016MaRDI QIDQ3669380
Publication date: 1983
03B55: Intermediate logics
Related Items
Subtractive logic, Synonymous theories and knowledge representations in answer set programming, Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, Omitting types in an intermediate logic, Presheaf semantics and independence results for some non-classical first- order logics, Maximal Kripke-type semantics for modal and superintuitionistic predicate logics, Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics, A first order nonmonotonic extension of constructive logic, On the predicate logic of linear Kripke frames and some of its extensions, Equilibrium logic, Ordered sets R and Q as bases of Kripke models, On finite linear intermediate predicate logics, Quantified extensions of canonical propositional intermediate logics, Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas, Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics, Computable Kripke models and intermediate logics, On the predicate logics of finite Kripke frames, Intuitionistic axiomatizations for bounded extension Kripke models., A new semantics for intuitionistic predicate logic, Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach, First-order interpolation derived from propositional interpolation