๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Distributive Lattices with a Generalized Implication: Topological Duality

โœ Scribed by Jorge E. Castro; Sergio Arturo Celani; Ramon Jansana

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
415 KB
Volume
28
Category
Article
ISSN
0167-8094

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Bounded distributive lattices with stric
Bounded distributive lattices with strict implication
โœ Sergio Celani; Ramon Jansana ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 384 KB

The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be

A topological characterization of comple
A topological characterization of complete distributive lattices
โœ Lucian Beznea ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 181 KB

An ordered compact space is a compact topological space X, endowed with a partially ordered relation, whose graph is a closed set of X x X (of. [4]). An important subclass of these spaces is that of Priest/ey spaces, characterized by the following property: for every x, y ~X with x~y there is an inc

Distributive Lattices with a Negation Op
Distributive Lattices with a Negation Operator
โœ 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