Results 1 -
2 of
2
Completions of Algebras and Completeness of Modal and Substructural Logics
- of Advances in Modal Logic
, 2003
"... this paper. So, we start our paper by giving a brief account of the MacNeille completion of partially ordered sets and of Boolean algebras, which is de ned here by using cuts (see x 35 Example F in [33]) ..."
Abstract
-
Cited by 5 (1 self)
- Add to MetaCart
this paper. So, we start our paper by giving a brief account of the MacNeille completion of partially ordered sets and of Boolean algebras, which is de ned here by using cuts (see x 35 Example F in [33])
