01/06/2016 — Rodolfo Ertola

On some modal connectives
José Luis Castiglioni (CONICET and UNLP – Argentina)
and
Rodolfo C. Ertola-Biraben (CLE/Unicamp – Brazil)

Abstract

We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages, considering the distributive case and Heyting algebras. We also compare our operators with others in the literature. We pay special attention to modalities. For details, please check http://arxiv.org/abs/1603.02489

Anúncios