Unification, finite duality and projectivity in varieties of Heyting algebras
From MaRDI portal
Publication:598304
DOI10.1016/j.apal.2003.11.010zbMath1058.03020OpenAlexW2032229737MaRDI QIDQ598304
Publication date: 6 August 2004
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.010
Heyting algebras (lattice-theoretic aspects) (06D20) Mechanization of proofs and logical operations (03B35) Injectives, projectives (08B30)
Related Items (max. 100)
On rules ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ UNIFICATION IN INTERMEDIATE LOGICS ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Filtering unification and most general unifiers in modal logic ⋮ Unnamed Item ⋮ Multi-agent logics with dynamic accessibly relations, projective unifiers ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Best unifiers in transitive modal logics ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ Finite frames fail: how infinity works its way into the semantics of admissibility ⋮ Unification in linear temporal logic LTL ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Computing coproducts of finitely presented Gödel algebras ⋮ Unnamed Item ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Canonical Extensions, Esakia Spaces, and Universal Models
Cites Work
- Unification theory
- Category equivalence preserves unification type
- Admissibility of logical inference rules
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Boolean unification - the story so far
- Best solving modal equations
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC
- Unification in primal algebras, their powers and their varieties
- Rules of inference with parameters for intuitionistic logic
- Unification in intuitionistic logic
- Unification through projectivity
- Finitely generated free Heyting algebras
- Characterizations of unification type zero
- Filtering unification and most general unifiers in modal logic
- Demi-semi-primal algebras and Mal'cev-type conditions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Unification, finite duality and projectivity in varieties of Heyting algebras