We continue in the direction of the ideas from the Zhang’s paper [Z] about a relationship between Chu spaces and Formal Concept Analysis. We modify this categorical point of view at a classical concept lattice to a generalized concept lattice (in the sense of Krajči [K1]): We define generalized Chu spaces and show that they together with (a special type of) their morphisms form a category. Moreover we define corresponding modifications of the image / inverse image operator and show their commutativity...

A basic algebra is an algebra of the same type as an MV-algebra and it is in a one-to-one correspondence to a bounded lattice having antitone involutions on its principal filters. We present a simple criterion for checking whether a basic algebra is commutative or even an MV-algebra.

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...

This paper aims to propose a complete relational semantics for the so-called logic of bounded lattices, and prove a completeness theorem with regard to a class of two-sorted frames that is dually equivalent (categorically) to the variety of bounded lattices.

In this paper we present a topological duality for a certain subclass of the $F_{\omega }$-structures defined by M. M. Fidel, which conform to a non-standard semantics for the paraconsistent N. C. A. da Costa logic $C_{\omega }$. Actually, the duality introduced here is focused on $F_{\omega }$-structures whose supports are chains. For our purposes, we characterize every $F_{\omega }$-chain by means of a new structure that we will call down-covered chain (DCC) here. This characterization will allow us to prove the dual equivalence between the...

In spite of increasing studies and investigations in the field of aggregation operators, there are two fundamental problems remaining unsolved: aggregation of $L$-fuzzy set-theoretic notions and their justification. In order to solve these problems, we will formulate aggregation operators and their special types on partially ordered sets with universal bounds, and introduce their categories. Furthermore, we will show that there exists a strong connection between the category of aggregation operators...

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 $L$ from the t-norm on a subinterval of $L$ need not be a supremum-distributive t-norm. Moreover, some relationships between the mentioned construction method and the other construction...

In this note we give some new characterizations of distributivity of a nearlattice and we study annihilator-preserving congruence relations.

The properties of deductive systems in Hilbert algebras are treated. If a Hilbert algebra $H$ considered as an ordered set is an upper semilattice then prime deductive systems coincide with meet-irreducible elements of the lattice $DedH$ of all deductive systems on $H$ and every maximal deductive system is prime. Complements and relative complements of $DedH$ are characterized as the so called annihilators in $H$.

We prove that every Archimedean atomic lattice effect algebra the center of which coincides with the set of all sharp elements is isomorphic to a subdirect product of horizontal sums of finite chains, and conversely. We show that every such effect algebra can be densely embedded into a complete effect algebra (its MacNeille completion) and that there exists an order continuous state on it.