Distributive Lattices with a Negation Op
✍
Sergio Arturo Celani
📂
Article
📅
1999
🏛
John Wiley and Sons
🌐
English
⚖ 736 KB
In this note we introduce and study algebras ( L , V, A, 1, 0,l) of type (2,2,1,1,1) such that ( L , V, A , 0 , l ) is a bounded distributive lattice and -,is an operator that satisfies the conditions -,(a V b ) = -,a A -,b and -0 = 1. We develop the topological duality between these algebras and Pr