Recently an expansion of LP1/2 logic with fixed points has been considered. In the present work we study the algebraic semantics of this logic, namely μLP algebras, from algebraic, model theoretic and computational standpoints. We provide a characterisation of free μLP algebras as a family of particular functions from [0,1]n to [0,1]. We show that the first-order theory of linearly ordered μLP algebras enjoys quantifier elimination, being, more precisely, the model completion of the theory of linearly ordered LP1/2 algebras. Furthermore, we give a functional representation of any LP1/2 algebra in the style of Di Nola Theorem for MV-algebras and finally we prove that the equational theory of μLP algebras is in PSPACE.

Advances in the theory of  LP  algebras

SPADA, LUCA
2010

Abstract

Recently an expansion of LP1/2 logic with fixed points has been considered. In the present work we study the algebraic semantics of this logic, namely μLP algebras, from algebraic, model theoretic and computational standpoints. We provide a characterisation of free μLP algebras as a family of particular functions from [0,1]n to [0,1]. We show that the first-order theory of linearly ordered μLP algebras enjoys quantifier elimination, being, more precisely, the model completion of the theory of linearly ordered LP1/2 algebras. Furthermore, we give a functional representation of any LP1/2 algebra in the style of Di Nola Theorem for MV-algebras and finally we prove that the equational theory of μLP algebras is in PSPACE.
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/11386/3862093
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact