Data di Pubblicazione:
2007
Citazione:
Spectral duality for finitely generated nilpotent minimum algebras, with applications / S. Aguzzoli, M. Busaniche, V. Marra. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - 17:4(2007), pp. 749-765.
Abstract:
We establish a categorical duality for the finitely generated Lindenbaum-Tarski algebras of propositional nilpotent minimum logic. The latter's 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 Gödel-Dummett logic), mutatis mutandis. We give several such applications.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
Amalgamation; Interpolation; Prime spectrum; Spectral duality; T-norm based logics
Elenco autori:
S. Aguzzoli, M. Busaniche, V. Marra
Link alla scheda completa: