En aquesta tesi doctoral s'obtenen i estudien les àlgebres d-completes com les àlgebres implicatives associades a uns determinats càlculs proposicionals implicatius, que satisfan un teorema de la deducció feble i contenen als càlculs proposicionals multi-valorats donats per Lukasiewicz. Per altra banda, també s'estudien els sistemes deductius d'aquestes àlgebres.
| Identifer | oai:union.ndltd.org:TDX_UB/oai:www.tdx.cat:10803/2611 |
| Date | 01 January 1980 |
| Creators | Torrens Torrell, Antoni |
| Contributors | Sales Vallés, F. de A. (Francisco de A.), 1914-2005, Universitat de Barcelona. Departament de Probabilitat, Lògica i Estadística |
| Publisher | Universitat de Barcelona |
| Source Sets | Universitat de Barcelona |
| Language | Catalan |
| Detected Language | Spanish |
| Type | info:eu-repo/semantics/doctoralThesis, info:eu-repo/semantics/publishedVersion |
| Format | application/pdf |
| Source | TDX (Tesis Doctorals en Xarxa) |
| Rights | 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., info:eu-repo/semantics/openAccess |
Page generated in 0.0157 seconds