Related papers: Counting with 3-valued truth tables of bracketed f…
We construct a braided structure on the algebra of K\"ahler differential forms of a commutative algebra twisted by an endomorphism. This generalises the construction done in M. Karoubi, Quantum Methods in Algebraic Topology, see…
We study a class of combinatorial objects that we call "decorated trees". These consist of vertices, arrows and edges, where each edge is decorated by two integers (one near each of its endpoints), each arrow is decorated by an integer, and…
For every partial combinatory algebra (pca), we define a hierarchy of extensionality relations using ordinals. We investigate the closure ordinals of pca's, i.e. the smallest ordinals where these relations become equal. We show that the…
In the theory of combinatorial algebras, there is a sequence of embeddings between Kleene's second model, van Oosten's model, and Scott's graph model. We prove that none of these embeddings can be reversed. We also prove nonembedding…
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,…
We study quotients of quadratic forms and associated polar lines in the projective plane. Our results, applied pointwise to quadratic differential forms, shed some light on classical binary differential equations (BDEs) associated to…
We aim at a holistic perspective on program logics, including Hoare and incorrectness logics. To this end, we study different classes of properties arising from the generalization of the aforementioned logics. We compare our results with…
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut-elimination. Our proposal builds on the product…
C. Bonnaf{\'e}, M. Geck, L. Iancu, and T. Lam have conjectured a description of one-sided cells in unequal parameter Hecke algebras of type $B$ which is based on domino tableaux of arbitrary rank. In the integer case, this generalizes the…
We give an $SL_3$ analogue of the triangular decomposition of the Kauffman bracket stated skein algebras described by Le. To any punctured bordered surface, we associate an $SL_3$ stated skein algebra which contains the $SL_3$ skein algebra…
We present a reflexive tactic for deciding the equational theory of Kleene algebras in the Coq proof assistant. This tactic relies on a careful implementation of efficient finite automata algorithms, so that it solves casual equations…
The first contribution of this paper is the presentation of a Pavelka - like formulation of possibilistic logic in which the language is naturally enriched by two connectives which represent negation (eg) and a new type of conjunction…
A nonstandard application of bivariate polynomial interpolation is discussed: the implicitization of a rational algebraic curve given by its parametric equations. Three different approaches using the same interpolation space are considered,…
We study open book foliations on surfaces in 3-manifolds, and give applications to contact geometry of dimension 3. We prove a braid-theoretic formula of the self-linking number of transverse links, which reveals an unexpected link to the…
This paper explores the properties of multiplicative Lie algebra structures on a nilpotent group of class $2$. We also present a method for determining a multiplicative Lie algebra structure on a group that serves as an extension of one Lie…
We consider algebras of languages over the signature of reversible Kleene lattices, that is the regular operations (empty and unit languages, union, concatenation and Kleene star) together with intersection and mirror image. We provide a…
We study quadratic Lie algebras over a field K of null characteristic which admit, at the same time, a symplectic structure. We see that if K is algebraically closed every such Lie algebra may be constructed as the T*-extension of a…
We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for multicategories, and use these to derive familiar rules for…
The semantics of trivalent truth tables for the paraconsistent logic system P1, is characterized by a visual inference tool called trivalent semantic forcing trees. Given a formula, with this tool the nodes of the corresponding tree are…
We show there exists a linear embedding of $K_{3,3,1}$ with n nontrivial 2-component links if and only if n = 1, 2, 3, 4, or 5.