Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Robles, Gemma (Autor), M�endez, Jos�e M. (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London, United Kingdom : Elsevier : Academic Press, [2018]
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 i 4500
001 SCIDIR_on1018307475
003 OCoLC
005 20231120010239.0
006 m o d
007 cr cnu|||unuuu
008 180108s2018 enk ob 001 0 eng d
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d N$T  |d EBLCP  |d CNCGM  |d UIU  |d OPELS  |d OCLCF  |d YDX  |d IDB  |d D6H  |d SNK  |d OCLCQ  |d UAB  |d INT  |d OCLCQ  |d WYU  |d U3W  |d LVT  |d MERUC  |d OCLCQ  |d ABC  |d S2H  |d OCLCO  |d VT2  |d OCLCQ  |d OCLCO  |d K6U  |d OCLCQ  |d SFB  |d OCLCQ  |d OCLCO 
019 |a 1018459595  |a 1235840505 
020 |a 9780128045091  |q (electronic bk.) 
020 |a 0128045094  |q (electronic bk.) 
020 |a 0081007515 
020 |a 9780081007518 
020 |z 9780081007518 
035 |a (OCoLC)1018307475  |z (OCoLC)1018459595  |z (OCoLC)1235840505 
050 4 |a P325  |b .R63 2018eb 
072 7 |a LAN  |x 000000  |2 bisacsh 
082 0 4 |a 401/.4301  |2 23 
100 1 |a Robles, Gemma,  |e author. 
245 1 0 |a Routley-Meyer ternary relational semantics for intuitionistic-type negations /  |c Gemma Robles and Jos�e M. M�endez. 
264 1 |a London, United Kingdom :  |b Elsevier :  |b Academic Press,  |c [2018] 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
588 0 |a Vendor-supplied metadata. 
504 |a Includes bibliographical references and index. 
520 |a 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 in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points. 
650 0 |a Negation (Logic) 
650 0 |a Semantics (Philosophy) 
650 6 |a N�egation (Logique)  |0 (CaQQLa)201-0010314 
650 6 |a S�emantique (Philosophie)  |0 (CaQQLa)201-0012729 
650 7 |a LANGUAGE ARTS & DISCIPLINES  |x General.  |2 bisacsh 
650 7 |a Negation (Logic)  |2 fast  |0 (OCoLC)fst01035482 
650 7 |a Semantics (Philosophy)  |2 fast  |0 (OCoLC)fst01112094 
700 1 |a M�endez, Jos�e M.,  |e author. 
776 0 8 |i Print version:  |a Robles, Gemma.  |t Routley-Meyer ternary relational semantics for intuitionistic-type negations.  |d London, United Kingdom : Elsevier : Academic Press, [2018]  |w (DLC) 2017278094 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780081007518  |z Texto completo