The Strong Endomorphism Kernel Property in Double MS-Algebras

Studia Logica 105 (5):995-1013 (2017)
  Copy   BIBTEX

Abstract

An endomorphism on an algebra \ is said to be strong if it is compatible with every congruence on \; and \ is said to have the strong endomorphism kernel property if every congruence on \, other than the universal congruence, is the kernel of a strong endomorphism on \. Here we characterise the structure of those double MS-algebras that have this property by the way of Priestley duality.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-017-9722-3

Links

PhilArchive

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

Congruence Coherent Symmetric Extended de Morgan Algebras.T. S. Blyth & Jie Fang - 2007 - Studia Logica 87 (1):51-63.
On Endomorphisms of Ockham Algebras with Pseudocomplementation.T. S. Blyth & J. Fang - 2011 - Studia Logica 98 (1-2):237-250.
Congruences and Kernel Ideals on a Subclass of Ockham Algebras.Xue-Ping Wang & Lei-Bo Wang - 2015 - Studia Logica 103 (4):713-731.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.
The amalgamation property for some classes of BCK-algebras.Katarzyna Palasinska - 1985 - Bulletin of the Section of Logic 14 (3):109-112.
Factor Congruence Lifting Property.George Georgescu & Claudia Mureşan - 2017 - Studia Logica 105 (1):179-216.
Restricted Priestley Dualities and Discriminator Varieties.B. A. Davey & A. Gair - 2017 - Studia Logica 105 (4):843-872.
The failure of strong amalgamation property in certain classes of BCK-algebras.Katarzyna Palasinska - 1987 - Bulletin of the Section of Logic 16 (4):176-179.
Strong amalgamation property of diagonalizable algebras.Irena Janicka-Zuk - 1983 - Bulletin of the Section of Logic 12 (3):105-108.
Ockham Algebras with Balanced Double Pseudocomplementation.Jie Fang - 2008 - Studia Logica 90 (2):189-209.
On the variety of M -generalized łukasiewicz algebras of order N.Júlia Vaz de Carvalho - 2010 - Studia Logica 94 (2):291-305.
Axiomatic extensions of the constructive logic with strong negation and the disjunction property.Andrzej Sendlewski - 1995 - Studia Logica 55 (3):377 - 388.
On the Variety of m-generalized Łukasiewicz Algebras of Order n.Júlia Carvalho - 2010 - Studia Logica 94 (2):291-305.
Congruences on Dynamic Algebras.Sandra Marques Pinto, Teresa Oliveira-Martins & M. Céu Pinto - 2008 - Logic Journal of the IGPL 16 (1):15-31.
HSP-type Characterization of Strong Equational Classes of Partial Algebras.Bogdan Staruch - 2009 - Studia Logica 93 (1):41-65.

Analytics

Added to PP
2017-04-25

Downloads
340 (#57,153)

6 months
97 (#41,836)

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