Subdirectly irreducible separable dynamic algebras

&
Mathematical Logic Quarterly 56 (4):442-448 (2010)
  Copy   BIBTEX

Abstract

A characterization of the subdirectly irreducible separable dynamic algebras is presented. The notions develo- ped for this study were also suitable to describe the previously found class of simple separable dynamic algebras

Categories

Keywords

Reprint years

DOI

10.1002/malq.200910033

Links

PhilArchive



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

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

De Morgan Algebras with a Quasi-Stone Operator.T. S. Blyth, Jie Fang & Lei-bo Wang - 2015 - Studia Logica 103 (1):75-90.
Subdirectly irreducible separable dynamic algebras.Sandra Marques Pinto & M. Teresa F. Oliveira Martins - 2010 - Mathematical Logic Quarterly 56 (4):442-448.
Subdirectly irreducible state-morphism BL-algebras.Anatolij Dvurečenskij - 2011 - Archive for Mathematical Logic 50 (1-2):145-160.
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.
Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
A dual characterization of subdirectly irreducible BAOs.Yde Venema - 2004 - Studia Logica 77 (1):105 - 115.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
Quasi‐Stone algebras.Nalinaxi H. Sankappanavar & Hanamantagouda P. Sankappanavar - 1993 - Mathematical Logic Quarterly 39 (1):255-268.
Strictly positive measures on Boolean algebras.Mirna Džamonja & Grzegorz Plebanek - 2008 - Journal of Symbolic Logic 73 (4):1416-1432.
On Endomorphisms of Ockham Algebras with Pseudocomplementation.T. S. Blyth & J. Fang - 2011 - Studia Logica 98 (1-2):237-250.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.

Analytics

Added to PP
2013-12-01

Downloads
26 (#610,794)

6 months
5 (#639,314)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Monadic dynamic algebras.S. Marques Pinto, M. Teresa Oliveira-Martins & M. Céu Pinto - 2006 - Mathematical Logic Quarterly 52 (2):134-150.

Add more references