A binary Routley semantics for intuitionistic De Morgan minimal logic H-M and its extensions

作者：Robles Gemma^*; Mendez Jose M

来源：Logic Journal of the IGPL, 2015, 23(2): 174-193.

DOI：10.1093/jigpal/jzu029

• Binary Routley semantics
• Routley operator
• De Morgan logics
• intuitionistic De Morgan logics
• intermediate logics

'Binary Routley-semantics' (bR-semantics) differs from Routley-Meyer semantics (RM-semantics) mainly in that the accessibility relation is binary instead of ternary. Intuitionistic bR-semantics is essentially defined when introducing the Routley operator (used for modelling negation) in Kripke models for positive intuitionistic logic. The aim of this article is to define the minimal logic in intuitionistic bR-semantics, H-M, as well as a number of its extension. H-M is minimal in intuitionistic bR-semantics in the same sense in which Sylvan and Plumwood's B-M is minimal in RM-semantics with a set of designated points.

• 出版日期2015-4