Related papers: Normative implications
We investigate a natural Heyting algebra structure on the set of Dyck paths of the same length. We provide a geometrical description of the operations of pseudocomplement and relative pseudocomplement, as well as of regular elements. We…
This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered…
Relational Lattice is a succinct mathematical model for Relational Algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. In this paper we push relational lattice theory in two…
Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular, they are equipped with dynamic modalities that are able to…
In this note, we observe a relation between dialgebras (in particular, Leibniz algebras) and conformal algebras. The purpose is to show how the methods of conformal algebras help solving problems on dialgebras, and, conversely, how the…
The aim of this paper is to study the cohomology theory of Reynolds Lie algebras equipped with derivations and to explore related applications. We begin by introducing the concept of Reynolds LieDer pairs. Subsequently, we construct the…
We present an extension and generalization of Sahlqvist--Van Benthem correspondence to the case of distribution-free modal logic, with, or without negation and/or implication connectives. We follow a reductionist strategy, reducing the…
An analysis of symmetric function theory is given from the perspective of the underlying Hopf and bi-algebraic structures. These are presented explicitly in terms of standard symmetric function operations. Particular attention is focussed…
In this paper, we introduce the concepts of representation and dual representation for averaging Leibniz algebras. We also develop a cohomology theory for these algebras. Additionally, we explore the infinitesimal and formal deformation…
A variety of problems emerged investigating electronic circuits, computer devices and cellular automata motivated a number of attempts to create a differential and integral calculus for Boolean functions. In the present article, we extend…
We study the symmetric powers of four algebras: $q$-oscillator algebra, $q$-Weyl algebra, $h$-Weyl algebra and $U({\mathfrak {sl}}_2)$. We provide explicit formulae as well as combinatorial interpretation for the normal coordinates of…
A new class of integrable mappings and chains is introduced. Corresponding $(1+2)$ integrable systems invariant with respect to such discrete transformations are presented in an explicit form. Their soliton-type solutions are constructed in…
This article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different…
The purpose of this paper is to study deformation theory of Hom-associative algebra morphisms and Hom-Lie algebra morphisms. We introduce a suitable cohomology and discuss Infinitesimal deformations, equivalent deformations and…
We extend to natural deduction the approach of Linear Nested Sequents and of 2-sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal systems in the original spirit of natural deduction -- only one…
We propose two new dependent type systems. The first, is a dependent graded/linear type system where a graded dependent type system is connected via modal operators to a linear type system in the style of Linear/Non-linear logic. We then…
In this paper we provide an alternative semantics for Equilibrium Logic and its monotonic basis, the logic of Here-and-There (also known as G\"odel's G3 logic) that relies on the idea of "denotation" of a formula, that is, a function that…
We develop a random model for relation algebras. We prove some preliminary results and pose questions that lay out a new direction of research.
We present a general relational semantics framework which, by varying the axiomatization and components of the relational structures, provides a uniform semantics for sentential logics, classical and non-classical alike. The approach we…
Loday's dendriform algebras and its siblings pre-Lie and zinbiel have received attention over the past two decades. In recent literature, there has been interest in a generalization of these types of algebra in which each individual…