- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Congruences and Kernel Ideals on a Subclass of Ockham Algebras
Studia Logica 103 (4):713-731 (2015)
Abstract
In this note, it is shown that the set of kernel ideals of a K n, 0-algebra L is a complete Heyting algebra, and the largest congruence on L such that the given kernel ideal as its congruence class is derived and finally, the necessary and sufficient conditions that such a congruence is pro-boolean are givenAuthor's Profile
My notes
Similar books and articles
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.
On ideals and congruences of distributive demi-p-algebras.T. S. Blyth, Jie Fang & Leibo Wang - 2015 - Studia Logica 103 (3):491-506.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
On the variety of M -generalized łukasiewicz algebras of order N.Júlia Vaz de Carvalho - 2010 - Studia Logica 94 (2):291-305.
On Endomorphisms of Ockham Algebras with Pseudocomplementation.T. S. Blyth & J. Fang - 2011 - Studia Logica 98 (1-2):237-250.
The universal group of a Heyting effect algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407 - 424.
Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar - 2011 - Studia Logica 98 (1-2):27-81.
Priestley duality for some subalgebra lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.Alex Citkin - 2012 - Studia Logica 100 (1-2):115-135.
De Morgan Algebras with a Quasi-Stone Operator.T. S. Blyth, Jie Fang & Lei-bo Wang - 2015 - Studia Logica 103 (1):75-90.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
Analytics
Added to PP
2014-10-27
Downloads
14 (#965,243)
6 months
3 (#992,474)
2014-10-27
Downloads
14 (#965,243)
6 months
3 (#992,474)
Historical graph of downloads
Author's Profile
Citations of this work
MS-Algebras Whose e-Ideals are Kernel Ideals.Congwen Luo & Yanlu Zheng - 2019 - Studia Logica 107 (4):659-668.
References found in this work
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.
On ideals and congruences of distributive demi-p-algebras.T. S. Blyth, Jie Fang & Leibo Wang - 2015 - Studia Logica 103 (3):491-506.
Congruences on a Balanced Pseudocomplemented Ockham Algebra whose Quotient Algebras are Boolean.Jie Fang & Lei-Bo Wang - 2010 - Studia Logica 96 (3):421-431.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo