Commutative integral bounded residuated lattices with an added involution

A symmetric residuated lattice is an algebra A = (A, ∨, ∧, *, →, ∼, 1, 0) such that (A, ∨, ∧, *, →, 1, 0) is a commutative integral bounded residuated lattice and the equations ∼ ∼ x = x and ∼ (x ∨ y) = ∼ x ∧ ∼ y are satisfied. The aim of the paper is to investigate the properties of the unary opera...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cignoli, R., Esteva, F.
Formato: JOUR
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_01680072_v161_n2_p150_Cignoli
Aporte de:

Ejemplares similares