01/06/2016 — Rodolfo Ertola

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


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