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 relying on the algebraic notion of a projective object.
Titolo: | Unification, Finite Duality and Projectivity in Locally Finite Varieties of Heyting Algebras |
Autori: | |
Parole Chiave: | E-unification; Projective algebras; Varieties of Heyting algebras |
Settore Scientifico Disciplinare: | Settore M-FIL/02 - Logica e Filosofia della Scienza |
Data di pubblicazione: | 2004 |
Rivista: | |
Tipologia: | Article (author) |
Digital Object Identifier (DOI): | 10.1016/j.apal.2003.11.010 |
Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.