Loading…

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Robles, Gemma (Author), M�endez, Jos�e M. (Author)
Format: Electronic eBook
Language:Inglés
Published: London, United Kingdom : Elsevier : Academic Press, [2018]
Subjects:
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from