Congruence Properties of Certain Restricted Partitions

1974 ◽  
Vol 47 (3) ◽  
pp. 154-156
Author(s):  
K. Thanigasalam
2020 ◽  
Vol 27 (4) ◽  
pp. 456-468
Author(s):  
V. L. Chernyshev ◽  
T. W. Hilberdink ◽  
V. E. Nazaikinskii

Symmetry ◽  
2021 ◽  
Vol 13 (5) ◽  
pp. 753
Author(s):  
Ivan Chajda ◽  
Helmut Länger

In order to be able to use methods of universal algebra for investigating posets, we assigned to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset, a certain algebra (based on a commutative directoid or on a λ-lattice) which satisfies certain identities and implications. We show that the assigned algebras fully characterize the given corresponding posets. A certain kind of symmetry can be seen in the relationship between the classes of mentioned posets and the classes of directoids and λ-lattices representing these relational structures. As we show in the paper, this relationship is fully symmetric. Our results show that the assigned algebras satisfy strong congruence properties which can be transferred back to the posets. We also mention applications of such posets in certain non-classical logics.


2018 ◽  
Vol 11 (02) ◽  
pp. 1850093 ◽  
Author(s):  
Ivan Chajda ◽  
Helmut Länger

Orthomodular posets form an algebraic semantic for the logic of quantum mechanics. We show several methods how to construct orthomodular posets via a representation within the powerset of a given set. Further, we generalize this concept to the concept of weakly orthomodular and dually weakly orthomodular posets where the complementation need not be antitone or an involution. We show several interesting examples of such posets and prove which intervals of these posets are weakly orthomodular or dually weakly orthomodular again. To every (dually) weakly orthomodular poset can be assigned an algebra with total operations, a so-called (dually) weakly orthomodular [Formula: see text]-lattice. We study properties of these [Formula: see text]-lattices and show that the variety of these [Formula: see text]-lattices has nice congruence properties.


Sign in / Sign up

Export Citation Format

Share Document