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...
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
-
The logical systems of Lesniewski.
par: Luschei, Eugene C.
Publié: (1962) -
Meaning and negation.
par: Steven B. Smith -
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /
Publié: (1952) -
The pragmatics of negation : negative meanings, uses and discursive functions /
Publié: (2017) -
Negation : a notion in focus /
Publié: (1996)