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 |