Overview of Finite Propositional Boolean Algebras I
| Abstract | of monadic or relational predicate calculus (Fa, Gb, Rab, Hcd, etc.). • The Boolean Algebra BL set-up by such a language will be such that: – BL will have 2 n states (corresponding to the state descriptions of L) – BL will contain 2 2n propositions, in total. ∗ This is because each proposition p in BL is equivalent to a disjunction of state descriptions. Thus, each subset of the set of.. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesWlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Luiz Monteiro, Sonia Savini & Julio Sewald (1991). Construction of Monadic Three-Valued Łukasiewicz Algebras. Studia Logica 50 (3-4):473 - 483.
Sakaé Fuchino (1994). Some Remarks on Openly Generated Boolean Algebras. Journal of Symbolic Logic 59 (1):302-310.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Lars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Janusz Czelakowski (1979). Partial Boolean Algebras in a Broader Sense. Studia Logica 38 (1):1 - 16.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Roch Ouellet (1982). A Categorical Approach to Polyadic Algebras. Studia Logica 41 (4):317 - 327.
J. L. Bell (1997). Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. Journal of Symbolic Logic 62 (4):1265-1279.
Roman Wencel (2003). Definable Sets in Boolean Ordered o-Minimal Structures. II. Journal of Symbolic Logic 68 (1):35-51.
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.
David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.
Carl G. Jockusch Jr & Robert I. Soare (1994). Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. Journal of Symbolic Logic 59 (4):1121 - 1138.
Vaughan Pratt (1991). Dynamic Algebras: Examples, Constructions, Applications. Studia Logica 50 (3-4):571 - 605.
Analytics
Monthly downloads |
Added to index2011-06-20Total downloads5 ( #160,368 of 549,088 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
