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...
Call Number: | Libro Electrónico |
---|---|
Main Authors: | , |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
London, United Kingdom :
Elsevier : Academic Press,
[2018]
|
Subjects: | |
Online Access: | Texto completo |