Congruences on Dynamic Algebras

, &
Logic Journal of the IGPL 16 (1):15-31 (2008)
  Copy   BIBTEX

Abstract

The lattice Cong of all dynamic congruences on a given dynamic algebra is presented. Whenever is separable with zero we define dynamic ideal on , given rise to the lattice Ide. The notions of kernel of a dynamic congruence and the congruence generated by a dynamic ideal are introduced to describe a Galois connection between Cong and Ide. We study conditions under which a dynamic congruence is determined by its kernel

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzm014

Links

PhilArchive



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

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

Subdirectly irreducible separable dynamic algebras.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2010 - Mathematical Logic Quarterly 56 (4):442-448.
On the variety of M -generalized łukasiewicz algebras of order N.Júlia Vaz de Carvalho - 2010 - Studia Logica 94 (2):291-305.
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.
Congruences and Kernel Ideals on a Subclass of Ockham Algebras.Xue-Ping Wang & Lei-Bo Wang - 2015 - Studia Logica 103 (4):713-731.
Subdirectly irreducible separable dynamic algebras.Sandra Marques Pinto & M. Teresa F. Oliveira Martins - 2010 - Mathematical Logic Quarterly 56 (4):442-448.
On ideals and congruences of distributive demi-p-algebras.T. S. Blyth, Jie Fang & Leibo Wang - 2015 - Studia Logica 103 (3):491-506.
On the Variety of m-generalized Łukasiewicz Algebras of Order n.Júlia Carvalho - 2010 - Studia Logica 94 (2):291-305.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.
PDL has interpolation.Tomasz Kowalski - 2002 - Journal of Symbolic Logic 67 (3):933-946.
The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra.Jie Fang, Lei-Bo Wang & Ting Yang - 2014 - Studia Logica 102 (1):29-39.
Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view.Sandra Marques Pinto & M. Teresa F. Oliveira Martins - 2012 - Mathematical Logic Quarterly 58 (4):252-262.
Notes on n × m-valued Łukasiewicz Algebras with Negation.Claudia Sanza - 2004 - Logic Journal of the IGPL 12 (6):499-507.
Definable principal congruences and solvability.Paweł M. Idziak, Keith A. Kearnes, Emil W. Kiss & Matthew A. Valeriote - 2009 - Annals of Pure and Applied Logic 157 (1):30-49.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.

Analytics

Added to PP
2015-02-04

Downloads
4 (#1,595,600)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references