A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
[EN] ‘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...
| Autores: | , |
|---|---|
| Formato: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2015 |
| País: | España |
| Recursos: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25747 |
| Acesso em linha: | https://academic.oup.com/jigpal/article-abstract/23/2/174/650374 https://hdl.handle.net/10612/25747 |
| Access Level: | acceso abierto |
| Palavra-chave: | Lógica Binary Routley semantics Routley operator De Morgan logics Intuitionistic De Morgan logics Intermediate logics 11 Lógica |
| Resumo: | [EN] ‘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, HM, as well as a number of its extension. HM is minimal in intuitionistic bR-semantics in the same sense in which Sylvan and Plumwood's BM is minimal in RM-semantics with a set of designated points. |
|---|