Deciding the word problem in pure double Boolean algebras

Journal of Applied Logic 10 (3):260-273 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2012.04.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Decidable Boolean algebras of low level.S. S. Goncharov - 1998 - Annals of Pure and Applied Logic 94 (1-3):75-95.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
On L∞κ-free Boolean algebras.Sakaé Fuchino, Sabine Koppelberg & Makoto Takahashi - 1992 - Annals of Pure and Applied Logic 55 (3):265-284.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
Moderate families in Boolean algebras.Lutz Heindorf - 1992 - Annals of Pure and Applied Logic 57 (3):217-250.
Boolean Algebras in Visser Algebras.Majid Alizadeh, Mohammad Ardeshir & Wim Ruitenburg - 2016 - Notre Dame Journal of Formal Logic 57 (1):141-150.
A construction of Boolean algebras from first-order structures.Sabine Koppelberg - 1993 - Annals of Pure and Applied Logic 59 (3):239-256.
Free Boolean algebras and nowhere dense ultrafilters.Aleksander Błaszczyk - 2004 - Annals of Pure and Applied Logic 126 (1-3):287-292.
Boolean products of R0-algebras.Xiangnan Zhou & Qingguo Li - 2010 - Mathematical Logic Quarterly 56 (3):289-298.
σ-short Boolean algebras.Makoto Takahashi & Yasuo Yoshinobu - 2003 - Mathematical Logic Quarterly 49 (6):543-549.
Boolean algebras arising from information systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Boolean algebras in ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
On well-generated Boolean algebras.Robert Bonnet & Matatyahu Rubin - 2000 - Annals of Pure and Applied Logic 105 (1-3):1-50.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,085,300)

6 months
6 (#520,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references