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...
| Main Author: | Robles, Gemma, |
|---|---|
| Other Authors: | Méndez, José M.,, ScienceDirect (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
London, United Kingdom :
Elsevier : Academic Press,
[2018]
|
| Physical Description: |
1 online resource. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |