Please use this identifier to cite or link to this item:
http://hdl.handle.net/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.