TY  - THES
AU  - Martín de la Calle, Pedro Jesús
A3  - Gavilanes Franco, Antonio
PY  - 2003
DO  - b21685241
SN  - 978-84-669-1614-1
UR  - https://hdl.handle.net/20.500.14352/63412
AB  - Las tesis presenta sistemas de tableaux para tres extensiones de la lógica de primer orden. En cada una de ellas se estudian métodos de tableaux correctos y completos en dos versiones: básica y de variables libre. La primera es una Lógica con...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Lógica
TI  - Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas
M3  - doctoral thesis
ER  -