2024-03-28T21:01:25Zhttps://gredos.usal.es/oai/requestoai:gredos.usal.es:10366/1254452022-02-07T17:42:02Zcom_10366_4827com_10366_4843col_10366_123033
Gestión del Repositorio Documental de la Universidad de Salamanca
advisor
Robles Vázquez, Gemma
advisor
Salto Alemany, Francisco
author
Blanco Sánchez, José Miguel
2015-04-28T07:30:22Z
2015-04-28T07:30:22Z
2015
http://hdl.handle.net/10366/125445
[ES]En el artículo Cf.[Robles, G. y Méndez, J. M., 2014a] se definen ciertos postulados semánticos como correspondientes a un número de tesis relacionadas con el Modus Ponens y el Modus Tollens, dada la lógica DW y la semántica para esta. El objetivo del presente trabajo es probar esta afirmación, es decir, procurar las pruebas para, tanto la validez de las tesis correspondientes, como del ajustamiento canónico de los postulados. Adicionalmente, en Cf.[Robles, G., 2006] se desarrolla con pormenor y minuciosamente el sistema B+, y a fin de llevar a cabo el objetivo anterior se desarrollará de la misma manera, pormenorizada y minuciosa, los sistemas B y DW a partir del trabajo citado. Como complemento se ha incluido un breve contextualización y discusión de los conceptos esenciales sobre los que se apoya el trabajo y las lógicas desarrolladas como son las siguientes nociones: lógicas de la relevancia, la semántica relacional ternaria o las lógicas de la relevancia profunda. A modo de apéndice se ha incluido también una breve bibliografía comentada de las obras más importantes en relación con el trabajo.
[EN]In the paper Cf.[Robles, G. y Méndez, J. M., 2014a] it is claimed that certain semantical postulates are the corresponding ones to the axioms Modus Ponens, Modus Tollens and some theses related to them, given the logic DW and its semantics. The main aim of the present work
is to prove this claim. In order to fulfill this aim we lean on Cf.[Robles, G., 2006] where Routley and Meyer's basic positive logic B+ is thoroughly explained. We shall develop the logics B and DW with similar detail (B is a negation completion of B+, and DW an extension of B). A
brief discussion of some essential concepts useful for the contextualization of the present work is included; for example, relevant logics, ternary relational semantics or deep relevant logics. Finally is also included a selected
bibliography which is briefly commented.
spa
Attribution-NonCommercial-NoDerivs 3.0 Unported
Lógicas de la relevancia
Semántica Routley-Meyer
Lógicas subestructurales
Postulados semánticos correspondientes para el axioma Modus Ponens, el axioma Modus Tollens y otras tesis semejantes en el contexto de la lógica relevante DW
info:eu-repo/semantics/masterThesis
PHA+PHN0cm9uZz5MaWNlbmNpYSBkZSB1c28geSBwcm9waWVkYWQgaW50ZWxlY3R1YWw8L3N0cm9uZz48L3A+Cgo8cD5Mb3MgZGVyZWNob3MgZGUgYXV0b3IgZGUgbG9zIGRvY3VtZW50b3MgZGVwb3NpdGFkb3MgZW4gR1JFRE9TIGVzdD9uIHNvbWV0aWRvcyBhIGxhIGxlZ2lzbGFjaT9uIGVzcGE/b2xhIHJlbGF0aXZhIGEgbGEgcHJvcGllZGFkIDxiciAvPgppbnRlbGVjdHVhbC4gTG9zIGF1dG9yZXMgZGUgbG9zIGRvY3VtZW50b3MgYWNjZXNpYmxlcyBkZXNkZSBlbCByZXBvc2l0b3JpbyBkb2N1bWVudGFsIGRlIGxhIFVTQUwgc29uIGxvcyA/bmljb3MgcXVlIG9zdGVudGFuIDxiciAvPgpkZXJlY2hvcyBzb2JyZSBzdXMgb2JyYXMsIGNvbiBsYXMgY2VzaW9uZXMgcXVlIGV2ZW50dWFsbWVudGUgaGF5YW4gcmVhbGl6YWRvIGEgdGVyY2Vyb3MuIExhIFVuaXZlcnNpZGFkIGRlIFNhbGFtYW5jYSBubyBwb3NlZSA8YnIgLz4KZGVyZWNob3MgZGUgcHJvcGllZGFkIGludGVsZWN0dWFsIHNvYnJlIGxvcyBkb2N1bWVudG9zIGFsb2phZG9zIGVuIEdSRURPUywgZXhjZXB0byBzb2JyZSBhcXVlbGxvcyBxdWUgaGFuIHNpZG8gcHJvZHVjaWRvcyBwb3IgPGJyIC8+CmxhIG1pc21hLjwvcD4KCjxwPkxhIGJhc2UgbGVnYWwgZGUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yIGVuIEdSRURPUyBlcyBsYSBMZXkgMjMvMjAwNiwgZGUgNyBkZSBqdWxpbywgcG9yIGxhIHF1ZSBzZSBtb2RpZmljYSBlbCB0ZXh0byByZWZ1bmRpZG8gZGUgbGEgPGJyIC8+CkxleSBkZSBQcm9waWVkYWQgSW50ZWxlY3R1YWwsIGFwcm9iYWRvIHBvciBlbCBSZWFsIERlY3JldG8gTGVnaXNsYXRpdm8gMS8xOTk2LCBkZSAxMiBkZSBhYnJpbCAoQk9FIG4/bWVybyAxNjIgZGUgOC83LzIwMDYpLCBxdWUgPGJyIC8+CmF0cmlidXllIGEgbG9zIGF1dG9yZXMgZGVyZWNob3MgbW9yYWxlcyB5IGRlcmVjaG9zIGRlIGV4cGxvdGFjaT9uLiBMb3MgZGVyZWNob3MgbW9yYWxlcyBzb24gaXJyZW51bmNpYWJsZXMgZSBpbmFsaWVuYWJsZXMsIG1pZW50cmFzIDxiciAvPgpxdWUgbG9zIGRlcmVjaG9zIGRlIGV4cGxvdGFjaT9uIHB1ZWRlbiBjZWRlcnNlIGEgdGVyY2Vyb3MuIExvcyBkZXJlY2hvcyBkZSBleHBsb3RhY2k/biBhZmVjdGFuIGEgbGEgcmVwcm9kdWNjaT9uLCBkaXN0cmlidWNpP24sIDxiciAvPgpjb211bmljYWNpP24gcD9ibGljYSB5IHRyYW5zZm9ybWFjaT9uLiBTaSBlbCBhdXRvciBoYSBjZWRpZG8gYWxndW5vIGRlIGVzdG9zIGRlcmVjaG9zIGEgZWRpdG9yZXMgdSBvdHJhcyBlbnRpZGFkZXMsIHN1cyBvYnJhcyBzP2xvIDxiciAvPgpwb2RyP24gc2VyIGRlcG9zaXRhZGFzIGVuIHZpcnR1ZCBkZSBsYXMgY29uZGljaW9uZXMgYWNvcmRhZGFzIGVuIGxhIGNlc2k/biBkZSBkZXJlY2hvcyBkZSBhdXRvci48L3A+Cgo8cD4gR1JFRE9TIGVtcGxlYSBjb21vIG5vcm1hdGl2YSBsZWdhbCBkZSB1c28gdW5hIExpY2VuY2lhIENyZWF0aXZlIENvbW1vbnMuIExhcyBsaWNlbmNpYXMgZGUgdXNvIGluZm9ybWFuIGRlIGxhcyBjb25kaWNpb25lcyA8YnIgLz4KYmFqbyBsYXMgcXVlIHNlIGRpc3RyaWJ1eWUgdW5hIG9icmEgeSBzb2JyZSBjP21vIGxhIG1pc21hIHNlIHB1ZWRlIHV0aWxpemFyLiBMYXMgbGljZW5jaWFzIGRlIHVzbyBhcnRpY3VsYW4gbGEgY2VzaT9uIHBhcmNpYWwgZGUgPGJyIC8+CmRlcmVjaG9zIGRlIGF1dG9yIChjb3B5bGVmdCkgZW4gcmVsYWNpP24gYSBzdXMgZGVyZWNob3MgZGUgZXhwbG90YWNpP24uIExvcyB1c3VhcmlvcyBxdWUgY29uc3VsdGVuIHVuYSBvYnJhIHN1amV0YSBhIGNvcHlsZWZ0IHNlIDxiciAvPgpjb21wcm9tZXRlbiBhIHJlc3BldGFyIHN1IGxpY2VuY2lhIGRlIHVzby4gTGFzIGxpY2VuY2lhcyBDcmVhdGl2ZSBDb21tb25zIHByZXNlbnRhbiBjb25kaWNpb25lcyBob21vZz9uZWFzIGVuIGxhIGNlc2k/biBkZSA8YnIgLz4KZGVyZWNob3MgZGUgYXV0b3IsIHRpZW5lbiB2YWxvciBub3JtYXRpdm8geSBzaXJ2ZW4gZGUgZm9ybWEgZWZlY3RpdmEgcGFyYSBsYSBwcm90ZWNjaT9uIGxlZ2FsIGRlIGxhIHByb3BpZWRhZCBpbnRlbGVjdHVhbC48L3A+Cgo8cD4gUGFyYSBxdWUgZWwgUmVwb3NpdG9yaW8gZGUgbGEgVW5pdmVyc2lkYWQgZGUgU2FsYW1hbmNhIHB1ZWRhIHJlcHJvZHVjaXIgeSBjb211bmljYXIgcD9ibGljYW1lbnRlIHN1IGRvY3VtZW50byBlcyBuZWNlc2FyaW8gbGEgPGJyIC8+CmFjZXB0YWNpP24gZGUgdW5hIHNlcmllIGRlIHQ/cm1pbm9zLiBQb3IgZmF2b3IsIGxlYSBsYXMgc2lndWllbnRlcyBjb25kaWNpb25lcyBkZSBsaWNlbmNpYTo8L3A+Cgo8cD4xLkVtcGxlYW5kbyBlbCBzaXN0ZW1hIGRlIGF1dG9hcmNoaXZvIHVzdGVkIGFjZXB0YSBsYSBsaWNlbmNpYSBkZSB1c28gQ3JlYXRpdmUgQ29tbW9ucyBxdWUgYW1wYXJhIHRvZGEgbGEgZG9jdW1lbnRhY2k/biA8YnIgLz4KZGVwb3NpdGEgZW4gR3JlZG9zLCBxdWUgZXN0PyBkaXNwb25pYmxlIGVuIHRvZGFzIGxhcyBwP2dpbmFzIGRlbCByZXBvc2l0b3JpbyBodHRwOi8vZ3JlZG9zLnVzYWwuZXMuPC9wPgoKPHA+Mi5MYSBsaWNlbmNpYSBDcmVhdGl2ZSBDb21tb25zIGRlIEdyZWRvcyBwZXJtaXRlIGEgbGEgVW5pdmVyc2lkYWQgZGUgU2FsYW1hbmNhIGxhIGRpZnVzaT9uIGRlIGxvcyBkb2N1bWVudG9zIGVudmlhZG9zLCBvYmxpZ2EgPGJyIC8+CmFsIHJlY29ub2NpbWllbnRvIGRlIGxhIGF1dG9yP2EgZGUgbG9zIGRvY3VtZW50b3MgZSBpbXBpZGUgbGEgY29tZXJjaWFsaXphY2k/biBvIHRyYW5zZm9ybWFjaT9uIGRlIGxvcyBkb2N1bWVudG9zIHNpbiBhdXRvcml6YWNpP24gPGJyIC8+CmV4cHJlc2EgZGUgbG9zIGF1dG9yZXMuPC9wPgoKPHA+My5FbCBhdXRvciBhY2VwdGEgcXVlIGxhIFVuaXZlcnNpZGFkIGRlIFNhbGFtYW5jYSBwdWVkYSBjb25zZXJ2YXIgbT9zIGRlIHVuYSBjb3BpYSBkZSBlc3RlIGRvY3VtZW50byB5LCBzaW4gYWx0ZXJhciBzdSBjb250ZW5pZG8sIDxiciAvPgpjb252ZXJ0aXJsbyBhIGN1YWxxdWllciBmb3JtYXRvIGRlIGZpY2hlcm8sIG1lZGlvIG8gc29wb3J0ZSwgcGFyYSBwcm9wP3NpdG9zIGRlIHNlZ3VyaWRhZCwgcHJlc2VydmFjaT9uIHkgYWNjZXNvLgo8L3A+Cgo8cD40LkVsIGRlcG9zaXRhcmlvIGRlY2xhcmEgcXVlIGVsIGRvY3VtZW50byBlcyB1biB0cmFiYWpvIG9yaWdpbmFsIHN1eW8geS9vIHF1ZSB0aWVuZSBlbCBkZXJlY2hvIHBhcmEgb3RvcmdhciBsb3MgZGVyZWNob3MgY29udGVuaWRvcyA8YnIgLz4KZW4gZXN0YSBsaWNlbmNpYS4gVGFtYmk/biBkZWNsYXJhIHF1ZSBzdSBkb2N1bWVudG8gbm8gaW5mcmluZ2UsIGVuIHRhbnRvIGVuIGN1YW50byBsZSBzZWEgcG9zaWJsZSBzYWJlciwgbG9zIGRlcmVjaG9zIGRlIGF1dG9yIGRlIDxiciAvPgpuaW5ndW5hIG90cmEgcGVyc29uYSBvIGVudGlkYWQuPC9wPgoKPHA+NS5TaSBlbCBkb2N1bWVudG8gY29udGllbmUgbWF0ZXJpYWxlcyBkZSBsb3MgY3VhbGVzIG5vIHRpZW5lIGxvcyBkZXJlY2hvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgaGEgb2J0ZW5pZG8gZWwgcGVybWlzbyBzaW4gcmVzdHJpY2NpP24gPGJyIC8+CmRlbCBwcm9waWV0YXJpbyBkZSBsb3MgZGVyZWNob3MgZGUgYXV0b3IgcGFyYSBvdG9yZ2FyIGEgbGEgVW5pdmVyc2lkYWQgZGUgU2FsYW1hbmNhIGxvcyBkZXJlY2hvcyByZXF1ZXJpZG9zIHBvciBlc3RhIGxpY2VuY2lhLCB5IHF1ZTxiciAvPgplc2UgbWF0ZXJpYWwgY3V5b3MgZGVyZWNob3Mgc29uIGRlIHRlcmNlcm9zIGVzdD8gY2xhcmFtZW50ZSBpZGVudGlmaWNhZG8geSByZWNvbm9jaWRvIGVuIGVsIHRleHRvIG8gY29udGVuaWRvIGRlbCBkb2N1bWVudG8gPGJyIC8+CmVudHJlZ2Fkby48L3A+Cgo8cD42LlNpIGVsIGRvY3VtZW50byBzZSBiYXNhIGVuIHVuYSBvYnJhIHF1ZSBoYSBzaWRvIHBhdHJvY2luYWRhIG8gYXBveWFkYSBwb3IgdW5hIGFnZW5jaWEgdSBvcmdhbml6YWNpP24gZGlmZXJlbnRlIGRlIGxhIFVuaXZlcnNpZGFkIDxiciAvPgpkZSBTYWxhbWFuY2EsIHNlIHByZXN1cG9uZSBxdWUgc2UgaGEgY3VtcGxpZG8gY29uIGN1YWxxdWllciBkZXJlY2hvIGRlIHJldmlzaT9uIHUgb3RyYXMgb2JsaWdhY2lvbmVzIHJlcXVlcmlkYXMgcG9yIGVzdGUgY29udHJhdG8gPGJyIC8+Cm8gYWN1ZXJkby48L3A+Cgo8cD43LkxhIFVuaXZlcnNpZGFkIGRlIFNhbGFtYW5jYSBpZGVudGlmaWNhcj8gY2xhcmFtZW50ZSBzdS9zIG5vbWJyZS9zIGNvbW8gZWwvbG9zIGF1dG9yL2VzIG8gcHJvcGlldGFyaW8vcyBkZSBsb3MgZGVyZWNob3MgZGVsIDxiciAvPgpkb2N1bWVudG8sIHkgbm8gaGFyPyBuaW5ndW5hIGFsdGVyYWNpP24gZGUgc3UgZG9jdW1lbnRvIGRpZmVyZW50ZSBhIGxhcyBwZXJtaXRpZGFzIGVuIGVzdGEgbGljZW5jaWEuPC9wPgo=
URL
https://gredos.usal.es/bitstream/10366/125445/1/TFM_BlancoS%c3%a1nchezJM_Postuladossem%c3%a1nticos.pdf
File
MD5
1ac5637a22322d3c191c4f125ac77576
539437
application/pdf
TFM_BlancoSánchezJM_Postuladossemánticos.pdf
URL
https://gredos.usal.es/bitstream/10366/125445/5/TFM_BlancoS%c3%a1nchezJM_Postuladossem%c3%a1nticos.pdf.txt
File
MD5
797d5e31bc01a2bf61c893e36686be99
86389
text/plain
TFM_BlancoSánchezJM_Postuladossemánticos.pdf.txt