Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
A new characterization of complete Heyting and co-Heyting algebras
View through CrossRef
We give a new order-theoretic characterization of a complete Heyting and co-Heyting algebra $C$. This result provides an unexpected relationship with the field of Nash equilibria, being based on the so-called Veinott ordering relation on subcomplete sublattices of $C$, which is crucially used in Topkis' theorem for studying the order-theoretic stucture of Nash equilibria of supermodular games.Comment: To appear in Logical Methods in Computer Science
Centre pour la Communication Scientifique Directe (CCSD)
Title: A new characterization of complete Heyting and co-Heyting algebras
Description:
We give a new order-theoretic characterization of a complete Heyting and co-Heyting algebra $C$.
This result provides an unexpected relationship with the field of Nash equilibria, being based on the so-called Veinott ordering relation on subcomplete sublattices of $C$, which is crucially used in Topkis' theorem for studying the order-theoretic stucture of Nash equilibria of supermodular games.
Comment: To appear in Logical Methods in Computer Science.
Related Results
Finitely Presented Heyting Algebras
Finitely Presented Heyting Algebras
In this paper we study the structure of finitely presented Heyting<br />algebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every s...
Differential graded vertex Lie algebras
Differential graded vertex Lie algebras
This is the continuation of the study of differential graded (dg) vertex algebras defined in our previous paper [Caradot et al., “Differential graded vertex operator algebras and t...
Quantum B-algebras
Quantum B-algebras
Abstract
The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative lo...
Relations between L-algebras and other logical algebras
Relations between L-algebras and other logical algebras
In this paper, by considering the notion of L-algebra, we show that there are relations between L-algebras and some of other logical algebras such as residuated lattices, MTL-alge...
On Kreb Algebras
On Kreb Algebras
In this paper, kreb algebras are introduced. It is shown that that the class of kreb algebras is a wider class than the class of BCI algebras. Properties of kreb algebras are prese...
Weak pseudo-BCK algebras
Weak pseudo-BCK algebras
Abstract
In this paper we define and study the weak pseudo-BCK algebras as generalizations of weak BCK-algebras, extending some results given by Cı⃖rulis for weak BC...
On FBZ-Algebras
On FBZ-Algebras
This paper introduces the concept of FBZ-algebra as a generalization of fuzzy implication algebra and investigates its fundamental properties. We establish a sufficient condition f...
Fuzzy Congruences on Heyting Algebras: Characterizations via Fuzzy Ideals and Filters.
Fuzzy Congruences on Heyting Algebras: Characterizations via Fuzzy Ideals and Filters.
Background Heyting algebras serve as algebraic models for intuitionistic logic, with classical congruence relations playing a key role in their structural analysis. This paper exte...