IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishWe 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.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2434/5597| Titolo: | Unification, Finite Duality and Projectivity in Locally Finite Varieties of Heyting Algebras |
| Autori interni: | GHILARDI, SILVIO |
| 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 |
| Tipologia: | Article (author) |
| 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.
Copyright © 2017