A characterization of distributive lattices by tolerance lattices
A characterization of polarities whose lattice of polars is Boolean
A characterization of tolerance-distributive tree semilattices
A glimpse of deductive systems in algebra
The concept of a deductive system has been intensively studied in algebraic logic, per se and in connection with various types of filters. In this paper we introduce an axiomatization which shows how several resembling theorems that had been separately proved for various algebras of logic can be given unique proofs within this axiomatic framework. We thus recapture theorems already known in the literature, as well as new ones. As a by-product we introduce the class of pre-BCK algebras.
A note on congruence kernels in ortholattices
We characterize ideals of ortholattices which are congruence kernels. We show that every congruence class determines a kernel.
A note on congruence lattices of distributive -algebras.
A note on distributive double -algebras
A note on the distribution of angles associated to indefinite integral binary quadratic forms
To each indefinite integral binary quadratic form , we may associate the geodesic in through the roots of quadratic equation . In this paper we study the asymptotic distribution (as discriminant tends to infinity) of the angles between these geodesics and one fixed vertical geodesic which intersects all of them.
A note on the tolerance lattice of atomistic algebraic lattices.
A note on tolerance lattices
A note on tolerance lattices of products of lattices
A principal congruence identity characterizing the variety of distributive lattices with zero
A simple basis of ideal terms of Brouwerian semilattices
A simple geometric proof of a theorem on
Algebras with tolerance extension property in 0
Almost maximal ideals
Announcements of new results
Around a neutral element in a nearlattice
Atomicity of tolerance lattices
Atomicity of tolerance lattices of commutative semigroups