Chargement en cours…

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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteurs principaux: Robles, Gemma (Auteur), M�endez, Jos�e M. (Auteur)
Format: Électronique eBook
Langue:Inglés
Publié: London, United Kingdom : Elsevier : Academic Press, [2018]
Sujets:
Accès en ligne:Texto completo

Documents similaires