UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3831907 (Why is no real title available?)
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 4139716 (Why is no real title available?)
- scientific article; zbMATH DE number 4106814 (Why is no real title available?)
- scientific article; zbMATH DE number 3534489 (Why is no real title available?)
- scientific article; zbMATH DE number 1471983 (Why is no real title available?)
- scientific article; zbMATH DE number 4120150 (Why is no real title available?)
- scientific article; zbMATH DE number 2108194 (Why is no real title available?)
- scientific article; zbMATH DE number 795162 (Why is no real title available?)
- scientific article; zbMATH DE number 3316031 (Why is no real title available?)
- scientific article; zbMATH DE number 3332425 (Why is no real title available?)
- scientific article; zbMATH DE number 3339356 (Why is no real title available?)
- scientific article; zbMATH DE number 966894 (Why is no real title available?)
- A study of intermediate predicate logics
- Algebraic models of axiomatic theories
- Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
- Best solving modal equations
- Completeness theorem for Dummett's LC quantified and some of its extensions
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Disjunction and existence under implication in elementary intuitionistic formalisms
- Exact unification and admissibility
- Filtering unification and most general unifiers in modal logic
- First-order Gödel logics
- Frame correspondences in modal predicate logic
- Modal consequence relations extending S4.3: an application of projective unification
- On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames
- On logics intermediate between intuitionistic and classical predicate logic
- On the rules of intermediate logics
- On two problems of Harvey Friedman
- On unification and admissible rules in Gabbay-de Jongh logics
- Ordered sets R and Q as bases of Kripke models
- Projective unification in modal logic
- Quantification in nonclassical logic. Volume I.
- Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
- Splittings of lattices of theories and unification types
- Structural completeness of the first‐order predicate calculus
- UNIFICATION IN INTERMEDIATE LOGICS
- Unification in intuitionistic logic
- Unification in modal and description logics
- Unification through projectivity
- Unification types in logic
Cited in
(6)- An algebraic proof of completeness for monadic fuzzy predicate logic \(\mathbf{MMTL} \forall\)
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
- Unification types and union splittings in intermediate logics
- Synthesis of sup-interpretations: a survey
- An algebraic approach to the study of monadic substructural predicate logics over \(\mathbf{FL_{ew}}\)
- UNIFICATION IN INTERMEDIATE LOGICS
This page was built for publication: UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5381031)
