Cargando…
Routley-Meyer ternary relational semantics for intuitionistic-type negations /
Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London, United Kingdom :
Elsevier : Academic Press,
[2018]
|
| Temas: | |
| Acceso en línea: | Texto completo |