Algebras Whose Congruence Lattices are Distributive.
Bjarni Jonnson (1967)
Mathematica Scandinavica
Similarity:
Displaying similar documents to “Remarks on lattices of congruence relations of quasi-algebras”
Algebras Whose Congruence Lattices are Distributive.
Linear-compact congruence topologies in *-lattices
P. Rema (1965)
Fundamenta Mathematicae
Similarity:
The strong independence theorem for automorphism groups and congruence lattices of finite lattices.
Grätzer, G., Schmidt, E.T. (1995)
Beiträge zur Algebra und Geometrie
Similarity:
Some properties of congurence relations on orthomodular lattices
Gerhard Dorfer (2001)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
In this paper congruences on orthomodular lattices are studied with particular regard to analogies in Boolean algebras. For this reason the lattice of p-ideals (corresponding to the congruence lattice) and the interplay between congruence classes is investigated. From the results adduced there, congruence regularity, uniformity and permutability for orthomodular lattices can be derived easily.
Double -algebras with Stone congruence lattices
Michael E. Adams, Rodney Beazer (1991)
Czechoslovak Mathematical Journal
Similarity:
Congruences, ideals and annihilators in standard QBCC-algebras
Radomír Halaš, Luboš Plojhar (2005)
Open Mathematics
Similarity:
We characterize congruence lattices of standard QBCC-algebras and their connection with the congruence lattices of congruence kernels.
Конгруэнц-свойства решеток квазимногообразий.
К.В. Адаричева, В.А. Горбунов, В. Дзёбяк, K. V. Adaričeva (1997)
Algebra i Logika
Similarity:
Principal congruence properties of some algebras with pseudocomplementation
Beazer, R. (1993)
Portugaliae mathematica
Similarity:
Two Axiomatizations of Nelson Algebras
Adam Grabowski (2015)
Formalized Mathematics
Similarity:
Nelson algebras were first studied by Rasiowa and Białynicki- Birula [1] under the name N-lattices or quasi-pseudo-Boolean algebras. Later, in investigations by Monteiro and Brignole [3, 4], and [2] the name “Nelson algebras” was adopted - which is now commonly used to show the correspondence with Nelson’s paper [14] on constructive logic with strong negation. By a Nelson algebra we mean an abstract algebra 〈L, T, -, ¬, →, ⇒, ⊔, ⊓〉 where L is the carrier, − is a quasi-complementation...