Equational two axiom bases for Boolean algebras and some other lattice theories
Notre Dame Journal of Formal Logic 20 (4):865-875 (1979)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesF. M. Sioson (1964). Equational Bases of Boolean Algebras. Journal of Symbolic Logic 29 (3):115-124.
Lei-Bo Wang (2010). Congruences on a Balanced Pseudocomplemented Ockham Algebra Whose Quotient Algebras Are Boolean. Studia Logica 96 (3):421-431.
J. L. Bell (1997). Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. Journal of Symbolic Logic 62 (4):1265-1279.
Bolesław Sobociński (1972). An Equational Axiomatization and a Semi-Lattice Theoretical Characterization of Mixed Associative Newman Algebras. Notre Dame Journal of Formal Logic 13 (3):407-423.
Bolesław Sobociński (1972). Solution to the Problem Concerning the Boolean Bases for Cylindric Algebras. Notre Dame Journal of Formal Logic 13 (4):529-545.
Francesco Paoli, Matthew Spinks & Robert Veroff (forthcoming). Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis.
Hector Gramaglia & Diego Vaggione (1996). Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions. Studia Logica 56 (1-2):111 - 131.
H. A. Priestley (1995). Natural Dualities for Varieties Ofn-Valued Łukasiewicz Algebras. Studia Logica 54 (3):333 - 370.
Alasdair Urquhart (1981). Distributive Lattices with a Dual Homomorphic Operation. II. Studia Logica 40 (4):391 - 404.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.
Su Gao (2001). A Remark on Martin's Conjecture. Journal of Symbolic Logic 66 (1):401-406.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
