INVESTIGADORES
BUSANICHE Manuela
artículos
Título:
Spectral duality for finitely generated nilpotent minimum algebras, with applications
Autor/es:
AGUZZOLI, STEFANO; BUSANICHE, MANUELA; MARRA, VINCENZO
Revista:
JOURNAL OF LOGIC AND COMPUTATION
Editorial:
Oxford Press
Referencias:
Lugar: Oxford; Año: 2007 vol. 17 p. 749 - 765
ISSN:
0955-792X
Resumen:
We establish a categorical duality for the finitely generated Lindenbaum-Tarski algebras of propositional nilpotent
minimum logic. The latters conjunction is semantically interpreted by a left-continuous (but not continuous)
triangular norm; implication is obtained through residuation. Our duality allows one to transfer to nilpotent
minimum logic several known results about inutitionistic logic with the prelinearity axiom (also called
Godel-Dummett logic), mutatis mutandis. We give several such applications. minimum logic. The latters conjunction is semantically interpreted by a left-continuous (but not continuous)
triangular norm; implication is obtained through residuation. Our duality allows one to transfer to nilpotent
minimum logic several known results about inutitionistic logic with the prelinearity axiom (also called
Godel-Dummett logic), mutatis mutandis. We give several such applications.mutatis mutandis. We give several such applications.