Esta tesis doctoral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos puntos de vista. Los lenguajes estricto débiles son aquellos lenguajes formales que constan de conjunción, disyunción, "falsum" , "rerum", y adicionalmente de una cantidad indeterminada de conectivas que semánticamente se interpretan en las estructuras de Kripke como diferencias débiles. Estos lenguajes nos dan un fragmento de los habituales lenguajes modales puesto que:Donde es la implicación material y es la diferencia material. Para el caso en que hay una sola implicación estricta y ninguna diferencia débil resulta que la cláusula semántica para la implicación estricta que obtenemos es bien conocida, coincide con la de la lógica proposicional intuicionista (y con la de otros muchos ejemplos).Los lenguajes estricto-débiles se analizan en la tesis doctoral, desde tres puntos de vista diferentes: teoría de modelos (donde se introduce la noción de quasi bisimilaridad), teoría de la prueba (donde se introduce la noción de lógica estricto-débil) y computabilidad (se caracterizan las clases de complejidad para las lógicas estricto-débil).Los resultados obtenidos desde estas tres vertientes sugieren que aunque los lenguajes estricto-débiles son un fragmento de los lenguajes modales, en muchas ocasiones un conocimiento de lo que sucede para dichos fragmentos nos aporta información sobre lo que ocurre en la totalidad de los lenguajes modales (incluso fuera de los fragmentos anteriores).
| Identifer | oai:union.ndltd.org:TDX_UB/oai:www.tdx.cat:10803/2105 |
| Date | 01 October 2004 |
| Creators | Bou Moliner, Félix |
| Contributors | Jansana, Ramon, Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència |
| Publisher | Universitat de Barcelona |
| Source Sets | Universitat de Barcelona |
| Language | English |
| Detected Language | Spanish |
| Type | info:eu-repo/semantics/doctoralThesis, info:eu-repo/semantics/publishedVersion |
| Format | application/pdf |
| Source | TDX (Tesis Doctorals en Xarxa) |
| Rights | info:eu-repo/semantics/openAccess, ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs. |
Page generated in 0.0301 seconds