łukasiewicz implication algebras
Recently Published Documents


TOTAL DOCUMENTS

4
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

2016 ◽  
Vol 26 (02) ◽  
pp. 223-247 ◽  
Author(s):  
Miguel Campercholi ◽  
Diego Castaño ◽  
José Patricio Díaz Varela

In this article we study algebraic functions in [Formula: see text]-subreducts of MV-algebras, also known as Łukasiewicz implication algebras. A function is algebraic on an algebra [Formula: see text] if it is definable by a conjunction of equations on [Formula: see text]. We fully characterize algebraic functions on every Łukasiewicz implication algebra belonging to a finitely generated variety. The main tool to accomplish this is a factorization result describing algebraic functions in a subproduct in terms of the algebraic functions of the factors. We prove a global representation theorem for finite Łukasiewicz implication algebras which extends a similar one already known for Tarski algebras. This result together with the knowledge of algebraic functions allowed us to give a partial description of the lattice of classes axiomatized by sentences of the form [Formula: see text] within the variety generated by the 3-element chain.


Studia Logica ◽  
2011 ◽  
Vol 98 (1-2) ◽  
pp. 267-283 ◽  
Author(s):  
M. Campercholi ◽  
D. Castaño ◽  
J. P. Díaz Varela

2006 ◽  
Vol 45 (8) ◽  
pp. 1011-1020 ◽  
Author(s):  
Jose Patricio Díaz Varela ◽  
Antoni Torrens Torrell

Sign in / Sign up

Export Citation Format

Share Document