Unification types in logic
From MaRDI portal
Fregean logicintermediate logicLeibniz congruenceLindenbaum-Tarski algebramodal logicnon-Fregean logicsplittingsubstitutionunification type
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Other nonclassical logic (03B60) Other algebras related to logic (03G25) Algebraic logic (03G99)
Recommendations
Cited in
(22)- On the logic of unification
- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Finitary unification in locally tabular modal logics characterized
- Contact logic is finitary for unification with constants
- UNIFICATION IN INTERMEDIATE LOGICS
- Unification in some substructural logics of BL-algebras and hoops
- scientific article; zbMATH DE number 3966049 (Why is no real title available?)
- On unification and admissible rules in Gabbay-de Jongh logics
- Unification in epistemic logics
- KD is nullary
- From Formal Theory of Knowledge to Non-Fregean Logic
- Writing out unifiers for formulas with coefficients in intuitionistic logic
- Direct product of -algebras and unification: an application to residuated lattices
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Splittings of lattices of theories and unification types
- scientific article; zbMATH DE number 6304248 (Why is no real title available?)
- Unification types in Euclidean modal logics
- About the unification types of modal logics
- Unification types and union splittings in intermediate logics
- Projective relative unification through duality
- Undecidability of admissibility in the product of two \textbf{Alt} logics
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
This page was built for publication: Unification types in logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3518429)
