Quantifiers on distributive lattices

A Q-distributive lattice is an algebra 〈L, ∧, ∨, ∇, 0, 1〉 of type (2, 2, 1, 0, 0) such that 〈L, ∧, ∨, 0, 1〉 is a bounded distributive lattice and ∇ satisfies the equations: (1) ∇0 = 0, (2) x ∧ ∇x = x, (3) ∇(x ∧ ∇y) = ∇x ∧ ∇y and (4) ∇(x ∨ y) = ∇x ∨ ∇y. The opposite of the category of Q-distributive...

Descripción completa

Detalles Bibliográficos
Autor principal: Cignoli, R.
Formato: JOUR
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_0012365X_v96_n3_p183_Cignoli
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares