Unification, finite duality and projectivity in varieties of Heyting algebras

Annals of Pure and Applied Logic 127 (1-3):99-115 (2004)
  Copy   BIBTEX

Abstract

We investigate finitarity of unification types in locally finite varieties of Heyting algebras, giving both positive and negative results. We make essential use of finite dualities within a conceptualization for E-unification theory 733–752) relying on the algebraic notion of a projective object

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2003.11.010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Optimal natural dualities for varieties of Heyting algebras.B. A. Davey & H. A. Priestley - 1996 - Studia Logica 56 (1-2):67 - 96.
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hern?N. J. San Mart?N. - 2012 - Studia Logica 100 (1-2):91-114.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hernán J. San Martín - 2012 - Studia Logica 100 (1-2):91-114.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.Vincenzo Marra & Luca Spada - 2013 - Annals of Pure and Applied Logic 164 (3):192-210.
Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
Priestley duality for some subalgebra lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
Varieties of Three-Values Heyting Algebras with a Quantifier.Manuel Abad, J. P. Diaz Varela & L. A. Rueda - 2000 - Studia Logica 65 (2):181-198.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.

Analytics

Added to PP
2014-01-16

Downloads
32 (#485,568)

6 months
8 (#352,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Rules.Rosalie Iemhoff - 2015 - Journal of Philosophical Logic 44 (6):697-711.
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics.Rosalie Iemhoff - 2016 - Notre Dame Journal of Formal Logic 57 (2):233-247.
Unification in linear temporal logic LTL.Sergey Babenyshev & Vladimir Rybakov - 2011 - Annals of Pure and Applied Logic 162 (12):991-1000.
Unification in intermediate logics.Rosalie Iemhoff & Paul Rozière - 2015 - Journal of Symbolic Logic 80 (3):713-729.

View all 16 citations / Add more citations

References found in this work

Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.

View all 6 references / Add more references