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. (C) 2002 Elsevier Science (USA). All rights reserved.

Geometrical methods in Wajsberg hoops

PANTI, Giovanni;
2002

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. (C) 2002 Elsevier Science (USA). All rights reserved.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: http://hdl.handle.net/11390/687064
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? 17
social impact