UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

DOI10.1017/S1755020318000011OpenAlexW2902821690WikidataQ128838466 ScholiaQ128838466MaRDI QIDQ5381031

Wojciech Dzik, Piotr Wojtylak

Publication date: 7 June 2019

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020318000011

zbMATH Keywords

unificationpredicate logicadmissible rulesuperintuitionistic logicstructural completenessunification typeprojective formulaharrop formula

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On unification and admissible rules in Gabbay-de Jongh logics
• Quantification in nonclassical logic. Volume I.
• Ordered sets R and Q as bases of Kripke models
• On two problems of Harvey Friedman
• Completeness theorem for Dummett's LC quantified and some of its extensions
• A study of intermediate predicate logics
• Best solving modal equations
• First-order Gödel logics
• Modal consequence relations extending S4.3: an application of projective unification
• On the rules of intermediate logics
• Unification in modal and description logics
• Projective unification in modal logic
• Exact Unification and Admissibility
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames
• UNIFICATION IN INTERMEDIATE LOGICS
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Structural completeness of the first‐order predicate calculus
• Unification in intuitionistic logic
• Unification through projectivity
• Almost structurally complete infinitary consequence operations extending S4.3
• Filtering unification and most general unifiers in modal logic
• On logics intermediate between intuitionistic and classical predicate logic
• Algebraic models of axiomatic theories