7 search results - page 1 / 2 » Profinite Completions and Canonical Extensions of Heyting Al... |
69
Voted
ORDER
2006
15 years 9 days ago
2006
82
Voted
ORDER
2008
15 years 10 days ago
2008
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean al...
94
Voted
ORDER
2008
15 years 10 days ago
2008
For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely join-prime generated; (...
JANCL
2002
15 years 1 days ago
2002
We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a H...
73
Voted
FSS
2008
15 years 13 days ago
2008
: We define a regularity axiom for lattice-valued convergence spaces where the lattice is a complete Heyting algebra. To this end, we generalize the characterization of regularity ...