Please use this identifier to cite or link to this item:
https://dipositint.ub.edu/dspace/handle/2445/42667
Title: | Estudi i algebraització de certes lògiques: Àlgebres d-completes. |
Author: | Torrens Torrell, Antoni |
Director/Tutor: | Sales Vallés, F. de A. (Francisco de A.), 1914-2005 |
Keywords: | Lògica matemàtica Mathematical logic |
Issue Date: | 1-Jan-1980 |
Publisher: | Universitat de Barcelona |
Abstract: | 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. |
URI: | http://hdl.handle.net/2445/42667 |
ISBN: | 9788469404751 |
Appears in Collections: | Tesis Doctorals - Departament - Probabilitat, Lògica i Estadística |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
01.ATT_1de1.pdf | 5.35 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.