Algèbre du calcul propositionnel trivalent de Heyting
Algèbres de Lukasiewicz symétriques
All General Reproductive Solutions of Boolean Equations
Almost maximal ideals
Almost orthogonality and Hausdorff interval topologies of atomic lattice effect algebras
We prove that the interval topology of an Archimedean atomic lattice effect algebra is Hausdorff whenever the set of all atoms of is almost orthogonal. In such a case is order continuous. If moreover is complete then order convergence of nets of elements of is topological and hence it coincides with convergence in the order topology and this topology is compact Hausdorff compatible with a uniformity induced by a separating function family on corresponding to compact and cocompact elements....
An algebra of quasiordered logic
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic [Book]
An algebraic approach to the Heyting-Brouwer predicate calculus
An atomic MV-effect algebra with non-atomic center
Does there exist an atomic lattice effect algebra with non-atomic subalgebra of sharp elements? An affirmative answer to this question (and slightly more) is given: An example of an atomic MV-effect algebra with a non-atomic Boolean subalgebra of sharp or central elements is presented.
An extension method for t-norms on subintervals to t-norms on bounded lattices
In this paper, a construction method on a bounded lattice obtained from a given t-norm on a subinterval of the bounded lattice is presented. The supremum distributivity of the constructed t-norm by the mentioned method is investigated under some special conditions. It is shown by an example that the extended t-norm on from the t-norm on a subinterval of need not be a supremum-distributive t-norm. Moreover, some relationships between the mentioned construction method and the other construction...
An improved formulation of axioms for quantum mechanics
An ordered structure of pseudo-BCI-algebras
In Chajda's paper (2014), to an arbitrary BCI-algebra the author assigned an ordered structure with one binary operation which possesses certain antitone mappings. In the present paper, we show that a similar construction can be done also for pseudo-BCI-algebras, but the resulting structure should have two binary operations and a set of couples of antitone mappings which are in a certain sense mutually inverse. The motivation for this approach is the well-known fact that every commutative BCK-algebra...
Anneaux monadiques libres. Hémimorphismes unitaires libres
Anneaux monadiques rationnels
Annihilator-preserving congruence relations in distributive nearlattices
In this note we give some new characterizations of distributivity of a nearlattice and we study annihilator-preserving congruence relations.
Annihilators and deductive systems in commutative Hilbert algebras
The properties of deductive systems in Hilbert algebras are treated. If a Hilbert algebra considered as an ordered set is an upper semilattice then prime deductive systems coincide with meet-irreducible elements of the lattice of all deductive systems on and every maximal deductive system is prime. Complements and relative complements of are characterized as the so called annihilators in .
Annihilators in BCK-algebras
We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra . We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice of all deductive systems on . Moreover, relative annihilators of with respect to are introduced and serve as relative pseudocomplements of w.r.t. in .
Announcements of new results
Any orthomodular poset is a pasting of Boolean algebras
Application de l'algèbre de Boole à l'étude des graphes