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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Robles, Gemma (Autor), M�endez, Jos�e M. (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London, United Kingdom : Elsevier : Academic Press, [2018]
Temas:
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde