TY  - CHAP 
AU  - López Velasco, Sandra María
PY  - 2018
SN  - 9788490129739
UR  - http://hdl.handle.net/10366/155589
AB  - [ES] La conocida lógica tetravaluada de Belnap y Dunn B4, definida sobre un lenguaje
cuyas conectivas son la conjunción, la disyunción y la negación, está caracterizada por la
semántica bivalente tipo Belnap-Dunn que se define solamente para las...
LA  - spa
PB  - Ediciones Universidad de Salamanca
KW  - Semántica bivalente tipo Belnap-Dunn
KW  - Lógica tetravaluada
KW  - Lógica tetravaluada de Belnap y Dunn
KW  - Lógica y computación
KW  - Lógica birreticular
KW  - Lógica tetravaluada de Brady
TI  - Una semántica tetravaluada para el razonamiento computacional
ER  -