Spectral duality for finitely generated nilpotent minimum algebras, with applications

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 prelineari\-ty axiom (also called G\"{o}del-Dummett logic), mutatis mutandis. We give several such applications.

Published: Journal of Logic and Computation 17 (2007), 749-765.