Logical cover spaces
Gudder, Stanley · French digital mathematics library (Numdam) · 1986
We show that a logic with reasonable properties can be constructed from a logical cover space. Conversely, we show that such logics can always be generated in this manner. Finally, we compare the resulting structure with similar structures that have been considered in the literature On montre que l'on peut construire une logique avec des proprietes raisonnables a partir d'un «espace recouvert logique». Reciproquement, on montre qu'une telle logique peut toujours etre engendree de cette maniere. On compare la structure qui en resulte avec des structures analogues qui ont ete considerees dans la litterature