Page 1 Next

Displaying 1 – 20 of 83

Showing per page

A note on Stone join-semilattices

Shriram Nimbhorkar, Anwari Rahemani (2011)

Open Mathematics

Characterizations for a pseudocomplemented modular join-semilattice with 0 and 1 and its ideal lattice to be a Stone lattice are given.

Algebraic axiomatization of tense intuitionistic logic

Ivan Chajda (2011)

Open Mathematics

We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction of these tense operators on complete relatively pseudocomplemented lattice which is a...

Characterizations of 0-distributive posets

Vinayak V. Joshi, B. N. Waphare (2005)

Mathematica Bohemica

The concept of a 0-distributive poset is introduced. It is shown that a section semicomplemented poset is distributive if and only if it is 0-distributive. It is also proved that every pseudocomplemented poset is 0-distributive. Further, 0-distributive posets are characterized in terms of their ideal lattices.

Complete subobjects of fuzzy sets over M V -algebras

Jiří Močkoř (2004)

Czechoslovak Mathematical Journal

A subobjects structure of the category Ω - of Ω -fuzzy sets over a complete M V -algebra Ω = ( L , , , , ) is investigated, where an Ω -fuzzy set is a pair 𝐀 = ( A , δ ) such that A is a set and δ A × A Ω is a special map. Special subobjects (called complete) of an Ω -fuzzy set 𝐀 which can be identified with some characteristic morphisms 𝐀 Ω * = ( L × L , μ ) are then investigated. It is proved that some truth-valued morphisms ¬ Ω Ω * Ω * , Ω , Ω Ω * × Ω * Ω * are characteristic morphisms of complete subobjects.

Congruence kernels of distributive PJP-semilattices

S. N. Begum, Abu Saleh Abdun Noor (2011)

Mathematica Bohemica

A meet semilattice with a partial join operation satisfying certain axioms is a JP-semilattice. A PJP-semilattice is a pseudocomplemented JP-semilattice. In this paper we describe the smallest PJP-congruence containing a kernel ideal as a class. Also we describe the largest PJP-congruence containing a filter as a class. Then we give several characterizations of congruence kernels and cokernels for distributive PJP-semilattices.

Congruence lattices in varieties with compact intersection property

Filip Krajník, Miroslav Ploščica (2014)

Czechoslovak Mathematical Journal

We say that a variety 𝒱 of algebras has the Compact Intersection Property (CIP), if the family of compact congruences of every A 𝒱 is closed under intersection. We investigate the congruence lattices of algebras in locally finite, congruence-distributive CIP varieties and obtain a complete characterization for several types of such varieties. It turns out that our description only depends on subdirectly irreducible algebras in 𝒱 and embeddings between them. We believe that the strategy used here can...

Currently displaying 1 – 20 of 83

Page 1 Next