## Ranzato, Francesco - A new characterization of complete Heyting and co-Heyting algebras

lmcs:3931 - Logical Methods in Computer Science, September 14, 2017, Volume 13, Issue 3
A new characterization of complete Heyting and co-Heyting algebras

Authors: Ranzato, Francesco

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.

Source : oai:arXiv.org:1504.03919
DOI : 10.23638/LMCS-13(3:25)2017
Volume: Volume 13, Issue 3
Published on: September 14, 2017
Submitted on: September 14, 2017
Keywords: Computer Science - Logic in Computer Science,Mathematics - Rings and Algebras,F.3.0