English
Related papers

Related papers: Discrete Duality for Tense Symmetric Heyting Algeb…

200 papers

In 1982, L. Iturrioz introduced symmetrical Heyting algebras of order n (or SHn-algebras). In this paper, we define and study tense SHn-algebras namely, SHn-algebras endowed with two tense operators. These algebras constitute a…

Logic · Mathematics 2014-05-29 Aldo V. Figallo , Gustavo Pelaitay

In this paper, we will study Heyting algebras endowed with tense negative operators, which we call tense H-algebras and we proof that these algebras are the algebraic semantics of the Intuitionistic Propositional Logic with Galois…

Logic · Mathematics 2023-01-02 F. Almiñana , G. Pelaitay , W. Zuluaga

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…

Logic · Mathematics 2012-03-27 Aldo V. Figallo , Carlos Gallardo , Gustavo Pelaitay

We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and we show that there are continuum-many varieties of Heyting…

Logic · Mathematics 2023-12-12 Gianluca Grilletti , Davide Emilio Quadrellaro

We give several examples of tilting-discrete symmetric algebras; in particular, one explores which algebra has tilting-discrete trivial extension. We provide a counter example of the conjecture stating any {\tau} -tilting finite symmetric…

Representation Theory · Mathematics 2025-11-11 Takuma Aihara

Motivated by a result from string topology, we prove a duality in topological Hochschild homology (THH). The duality relates the THH of an E_1-algebra spectrum and the THH of its derived Koszul dual algebra under certain compactness…

Algebraic Topology · Mathematics 2014-01-22 Jonathan A. Campbell

This paper presents a $q$-analogue of an extension of the tensor algebra given by the same author. This new algebra naturally contains the ordinary tensor algebra and the Iwahori-Hecke algebra type $A$ of infinite degree. Namely this…

Representation Theory · Mathematics 2015-09-30 Minoru Itoh

In this paper, we focus on the variety DHMSH of dually hemimorphic semi-Heyting algebras from a logical point of view. Firstly, we present a Hilbert-style axiomatization of a new logic called Dually hemimorphic semi-Heyting logic (DHMSH,…

Logic · Mathematics 2022-02-10 Juan M. Cornejo , Hanamantagouda P. Sankappanavar

We identify a class of symmetric algebras over a complete discrete valuation ring $\mathcal O$ of characteristic zero to which the characterisation of Kn\"orr lattices in terms of stable endomorphism rings in the case of finite group…

Representation Theory · Mathematics 2018-03-16 Florian Eisele , Michael Geline , Radha Kessar , Markus Linckelmann

In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces, in order to exhibit a relational Priestley-like duality…

Logic · Mathematics 2023-12-19 Sergio Celani , Agustín Nagy , William Zuluaga Botero

We show that dualising transfer maps in Hochschild cohomology of symmetric algebras over complete discrete valuations rings commutes with Tate duality. This is analogous to a similar result for Tate cohomology of symmetric algebras over…

Representation Theory · Mathematics 2025-08-13 Markus Linckelmann

We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.

Combinatorics · Mathematics 2010-12-09 Jan Foniok , Jaroslav Nesetril , Ales Pultr , Claude Tardif

In this paper, we generalize Schur-Weyl duality and Morita Theorem on associative algebras to those on associative $H$-pseudoalgebras. Meanwhile, we get a plenty of associative $H$-pseudoalgebras over a cocommutative Hopf algebra $H$.

Rings and Algebras · Mathematics 2021-12-13 Zhixiang Wu

We present a technique for deriving certain new natural dualities for any variety of algebras generated by a finite Heyting chain. The dualities we construct are tailored to admit a transparent translation to the more pictorial…

Rings and Algebras · Mathematics 2013-12-24 Leonardo M. Cabrer , Hilary A. Priestley

Plonka sums consist of an algebraic construction similar, in some sense to direct limits, which allows to represent classes of algebras defined by means of regular identities (namely those equations where the same set of variables appears…

Logic · Mathematics 2020-04-20 Stefano Bonzio

If A is a finite-dimensional symmetric algebra, then it is well-known that the only silting complexes in $\mathrm{K^b}(\mathrm{proj}A)$ are the tilting complexes. In this note we investigate to what extent the same can be said for weakly…

Representation Theory · Mathematics 2021-01-11 Jenny August , Alex Dugas

First, we give a new example of silting-discrete algebras. Second, one explores when the algebra of triangular matrices over a finite dimensional algebra is $\tau$-tilting finite. In particular, we classify algebras over which triangular…

Representation Theory · Mathematics 2021-03-16 Takuma Aihara , Takahiro Honma

A $\nabla$-algebra is a natural generalization of a Heyting algebra, unifying several algebraic structures, including bounded lattices, Heyting algebras, temporal Heyting algebras, and the algebraic representation of dynamic topological…

Logic · Mathematics 2024-09-18 Amirhossein Akbar Tabatabai , Majid Alizadeh , Masoud Memarzadeh

In the present paper we generalize the notion of a Heyting algebra to the non-commutative setting and hence introduce what we believe to be the proper notion of the implication in skew lattices. We list several examples of skew Heyting…

Rings and Algebras · Mathematics 2016-04-22 Karin Cvetko-Vah

We develop a new duality for distributive and implicative meet semi-lattices. For distributive meet semi-lattices our duality generalizes Priestley's duality for distributive lattices and provides an improvement of Celani's duality. Our…

Logic · Mathematics 2024-11-01 Guram Bezhanishvili , Ramon Jansana
‹ Prev 1 2 3 10 Next ›