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: Sales Vallés, F. de A. (Francisco de A.), 1914-2005
Keywords: Lògica dedductiva
Lògica matemàtica
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 SizeFormat 
01.ATT_1de1.pdf5.35 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.