Data di Pubblicazione:
1999
Citazione:
Unification in intuitionistic logic / S. Ghilardi. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - 64:2(1999), pp. 859-880. [10.2307/2586506]
Abstract:
We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
Admisssible inference rules; E-unification; Exact formulas; Projective Heyting algebras
Elenco autori:
S. Ghilardi
Link alla scheda completa: