TY  - THES 
A3  - Robles Vázquez, Gemma
A3  - Méndez Rodríguez, José Manuel
AU  - Blanco Sánchez, José Miguel
PY  - 2018
UR  - http://hdl.handle.net/10366/139440
AB  - [ES]Hacia el final de su vida el gran lógico polaco J. Lukasiewicz desarrollaría el sistema modal tetravaluado conocido como L. Este sistema verificaba tesis como (MA ^MB) ! M (A ^ B) ó L(A v B) ! (LA v LB), enclavadas dentro de las paradojas modales...
AB  - [EN]Towards the end of his life, the great Polish logician J. Lukasiewicz
developed the fourth-valued modal system known as L. This system validated
theses as (MA ^MB) ! M (A ^ B) or L(A v B) ! (LA v LB),
which are part of what it is known as...
LA  - spa
KW  - Tesis y disertaciones académicas
KW  - Universidad de Salamanca (España)
KW  - Tesis Doctoral
KW  - Academic dissertations
KW  - Lógica simbólica y matemática
KW  - Relevancia (Filosofía)
KW  - Modalidad (Lógica)
TI  - Una expansión implicativa de la matriz tetravaluada de Belnap: una lógica modal tetravaluada carente de las paradojas modales fuertes tipo Łukasiewicz
M3  - info:eu-repo/semantics/doctoralThesis
DO  - 10.14201/gredos.139440
ER  -