On Postian equations
On Probability Function On Pseudo-Boolean Algebra
On pseudo BE-algebras
In this paper, we introduce the notion of pseudo BE-algebra which is a generalization of BE-algebra. We define the concepts of pseudo subalgebras and pseudo filters and prove that, under some conditions, pseudo subalgebra can be a pseudo filter. We prove that every homomorphic image and pre-image of a pseudo filter is also a pseudo filter. Furthermore, the notion of pseudo upper sets in pseudo BE-algebras introduced and is proved that every pseudo filter is an union of pseudo upper sets.
On pseudo-bci ideals of pseudo-bci algebras
On pseudo-BCI-algebras
The notion of normal pseudo-BCI-algebras is studied and some characterizations of it are given. Extensions of pseudo-BCI-algebras are also considered.
On ()-fuzzy filters of pseudo-BL algebras.
On quantic conuclei in orthomodular lattices.
On representations of logics
On Reproductive Solutions Of Arbitrary Equations
On reproductive solutions of arbitrary equations.
On reproductive solutions of Boolean equations.
On some contributions to quantum structures by fuzzy sets
It is well known that the fuzzy sets theory can be successfully used in quantum models ([5, 26]). In this paper we give first a review of recent development in the probability theory on tribes and their generalizations – multivalued (MV)-algebras. Secondly we show some applications of the described method to develop probability theory on IF-events.
On some inexact relations in probabilized Boolean algebras.
This paper is devoted to characterize monotonicity, conditionality and transitivity of some rational relations defined in a probabilized Boolean Algebra.
On some numerical representation of Post algebras
On some properties of Post algebras with countable chain of constants
On some properties of submeasures on MV-algebras
On some properties of transformations of a logic
On Some Relations in Boolean Algebras
On systems of congruences on principal filters of orthomodular implication algebras
Orthomodular implication algebras (with or without compatibility condition) are a natural generalization of Abbott’s implication algebras, an implication reduct of the classical propositional logic. In the paper deductive systems (= congruence kernels) of such algebras are described by means of their restrictions to principal filters having the structure of orthomodular lattices.
On the axiomatisation of Boolean categories with and without medial.