Related papers: Tense operators on distributive lattices with impl…
In this paper we introduce and study an alternative definition of tense operators on residuated lattices. We give a categorical equivalence for the class of tense residuated lattices, which is motivated by an old construction due to J.…
Here we initiate an investigation of the equational classes of m-symmetric algebras endowed with two tense operators. These varieties is a generalization of tense algebras. Our main interest is the duality theory for these classes of…
Tense logic was introduced by Arthur Prior in the late 1950s as a result of his interest in the relationship between tense and modality. Prior's idea was to add four primitive modal-like unary connectives to the base language today widely…
We study connections between closure operators on an algebra $(A,\Om)$ and congruences on the extended power algebra defined on the same algebra. We use these connections to give an alternative description of the lattice of all subvarieties…
In this paper, we investigate the algebras of consequence operators and finite consequence operators on a fixed language. Significant new collections of consequence operators are defined and shown to be complete and distributive…
In this paper, we study the algebra of twisted vertex operators over an even integral ${\mathbf Z}_2$-lattice, and give a kind of systematic construction of fundamental representations for affine Lie algebras of type $A$, $D$, $E$ with…
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several structures of prominent importance for mathematical logic, e.g.…
For effect algebras, the so-called tense operators were already introduced by Chajda and Paseka. They presented also a canonical construction of them using the notion of a time frame. Tense operators express the quantifiers "it is always…
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in…
In [Dugan-Glennon-Gunnells-Steingrimsson-2019], the authors introduce tiered trees to define combinatorial objects counting absolutely indecomposable representations of certain quivers, and torus orbits on certain homogeneous varieties. In…
We outline the theory of sets with distributive operations: multishelves and multispindles, with examples provided by semi-lattices, lattices and skew lattices. For every such a structure we define multi-term distributive homology and show…
Hemi-implicative semilattices (lattices), originally defined under the name of weak implicative semilattices (lattices), were introduced by the second author of the present paper. A hemi-implicative semilattice is an algebra…
A differential operator of weight $\lambda$ is the algebraic abstraction of the difference quotient $d_\lambda(f)(x):=\big(f(x+\lambda)-f(x)\big)/\lambda$, including both the derivation as $\lambda$ approaches to $0$ and the difference…
This paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FLe-algebras). In particular,…
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An important class of algebras are those that generate congruence…
In our previous papers, together with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that - similar to relatively pseudocomplemented…
Let $A$ be a basic finite-dimensional algebra and denote by $\operatorname{tors} A$ the collection of all all torsion classes of $A$. It has been proved in \cite{Demonet} that $\operatorname{tors} A$ is always a completely semidistributive…
In this paper, we extend some classes of structured matrices to higher order tensors. We discuss their relationships with positive semi-definite tensors and some other structured tensors. We show that every principal sub-tensor of such a…
The concept of a Kleene algebra (sometimes also called Kleene lattice) was already generalized by the first author for non-distributive lattices under the name pseudo-Kleene algebra. We extend these concepts to posets and show how…
Let $V$ be a vertex operator algebra satisfying suitable conditions such that in particular its module category has a natural vertex tensor category structure, and consequently, a natural braided tensor category structure. We prove that the…