A fuzzy version of Tarski's fixpoint theorem
A fuzzy version of Tarski’s fixpoint Theorem for fuzzy monotone maps on nonempty fuzzy compete lattice is given.
A generalized Amman's fixed point theorem and its application to Nash equlibrium.
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 lattice of homomorphs
A maximal chain approach to topology and order.
A new view of relationship between atomic posets and complete (algebraic) lattices
In the context of the atomic poset, we propose several new methods of constructing the complete lattice and the algebraic lattice, and the mutual decision of relationship between atomic posets and complete lattices (algebraic lattices) is studied.
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 continuous partially ordered sets.
A note on convex sublattices of lattices
Let denote the variety of lattices generated by convex sublattices of lattices in . For any proper variety , the variety is proper. There are uncountably many varieties with .
A note on distributive double -algebras
A note on epimorphisms of compact Lawson semilattices.
A note on homogeneous lattices
A note on local Noether lattices
A note on nuclei of quantale modules
A Note on Pseudo-Kleene Algebras
We introduce the concept of a pseudo-Kleene algebra which is a non-distributive modification of a Kleene algebra introduced by J. A. Kalman [Kalman, J. A.: Lattices with involution. Trans. Amer. Math. Soc. 87 (1958), 485–491.]. Basic properties of pseudo-Kleene algebras are studied. For pseudo-Kleene algebras with a fix-point there are determined subdirectly irreducible members.
A note on subquasivarieties of some varieties of lattices
A note on Sugihara algebras.
In [4] Blok and Pigozzi prove syntactically that RM, the propositional calculus also called R-Mingle, is algebraizable, and as a consequence there is a unique quasivariety (the so-called equivalent quasivariety semantics) associated to it. In [3] it is stated that this quasivariety is the variety of Sugihara algebras. Starting from this fact, in this paper we present an equational base for this variety obtained as a subvariety of the variety of R-algebras, found in [7] to be associated in the same...
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.