The aim of this paper is to show that certain geometric methods - originally developed for investigating Lukasiewicz many-valued logics - may be profitably applied to the study of classes of partially ordered residuated. monoids. We substantiate this claim by characterizing all free Wajsberg hoops in terms of McNaughton functions over the n-cube, and by giving complete axiomatizations for all varieties of Wajsberg hoops.

Agliano', P., Panti, G. (2002). Geometrical methods in Wajsberg hoops. JOURNAL OF ALGEBRA, 256(2), 352-374 [10.1016/S0021-8693(02)00085-6].

Geometrical methods in Wajsberg hoops

AGLIANO', PAOLO;
2002-01-01

Abstract

The aim of this paper is to show that certain geometric methods - originally developed for investigating Lukasiewicz many-valued logics - may be profitably applied to the study of classes of partially ordered residuated. monoids. We substantiate this claim by characterizing all free Wajsberg hoops in terms of McNaughton functions over the n-cube, and by giving complete axiomatizations for all varieties of Wajsberg hoops.
2002
Agliano', P., Panti, G. (2002). Geometrical methods in Wajsberg hoops. JOURNAL OF ALGEBRA, 256(2), 352-374 [10.1016/S0021-8693(02)00085-6].
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S0021869302000856-main.pdf

non disponibili

Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 197.51 kB
Formato Adobe PDF
197.51 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/1014117