Partial Boolean algebras in a broader sense
Studia Logica 38 (1):1 - 16 (1979)
| Abstract | The article deals with compatible families of Boolean algebras. We define the notion of a partial Boolean algebra in a broader sense (PBA(bs)) and then we show that there is a mutual correspondence between PBA(bs) and compatible families of Boolean algebras (Theorem (1.8)). We examine in detail the interdependence between PBA(bs) and the following classes: partial Boolean algebras in the sense of Kochen and Specker (§ 2), ortholattices (§ 3, § 5), and orthomodular posets (§ 4), respectively. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSakaé Fuchino (1994). Some Remarks on Openly Generated Boolean Algebras. Journal of Symbolic Logic 59 (1):302-310.
Janusz Czelakowski (1975). Logics Based on Partial Boolean Σ-Algebras. Studia Logica 34 (1):69 - 86.
Janusz Czelakowski (1974). Logics Based on Partial Boolean Σ-Algebras (1). Studia Logica 33 (4):371 - 396.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Antoni Torrens (1987). W-Algebras Which Are Boolean Products of Members of SR[1] and CW-Algebras. Studia Logica 46 (3):265 - 274.
J. L. Bell (1997). Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. Journal of Symbolic Logic 62 (4):1265-1279.
Nguyen Cat Ho & Helena Rasiowa (1989). Plain Semi-Post Algebras as a Poset-Based Generalization of Post Algebras and Their Representability. Studia Logica 48 (4):509 - 530.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,518 of 549,754 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
