Search
Skip to Search Results-
2022-01-01
Katalin Bimbó and J. Michael Dunn
This paper considers modalities added to the relevance logic LR (lattice-R), which is R with the distributivity of conjunction and disjunction omitted. First, the modalities are defined from the Ackermann constants and the lattice connectives. Then, we introduce modalities as primitives equipped...
-
2022-01-01
Katalin Bimbó and J. Michael Dunn
Urquhart works in several areas of logic where he has proved important results. Our paper outlines his topological lattice representation and attempts to relate it to other lattice representations. We show that there are different ways to generalize Priestley's representation of distributive...