Skip to Main Content

Search

Skip to Search Results
Filter
Close
Author / Creator / Contributor
Subject / Keyword
Item type
Collections
Year
to
Languages
Author: Katalin Bimbó and J. Michael Dunn Subject: Decidability, Linear logic, Modal logic, Relevance logic, Sequent calculuses Item type: Chapter Collections: Philosophy, Department of

  • Modalities in lattice-R

    Download

    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...

1 - 1 of 1