Estudi i algebraització de certes lògiques: Àlgebres d-completes.

Vista senzilla d'ítem
dc.contributor.advisorSales Vallés, F. de A. (Francisco de A.), 1914-2005
dc.contributor.authorTorrens Torrell, Antoni
dc.contributor.otherUniversitat de Barcelona. Departament de Probabilitat, Lògica i Estadística
dc.date.accessioned2013-05-07T08:45:13Z
dc.date.available2013-05-07T08:45:13Z
dc.date.issued1980-01-01
dc.description.abstractEn 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.cat
dc.format.mimetypeapplication/pdf
dc.identifier.dlB.10477-2011
dc.identifier.isbn9788469404751
dc.identifier.tdxhttp://www.tdx.cat/TDX-1203110-110839
dc.identifier.tdxhttp://hdl.handle.net/10803/2611
dc.identifier.urihttps://hdl.handle.net/2445/42667
dc.language.isocat
dc.publisherUniversitat de Barcelona
dc.rights(c) Torrens Torrell, 1980
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess
dc.sourceTesis Doctorals - Departament - Probabilitat, Lògica i Estadística
dc.subject.classificationLògica matemàtica
dc.subject.otherMathematical logic
dc.titleEstudi i algebraització de certes lògiques: Àlgebres d-completes.cat
dc.typeinfo:eu-repo/semantics/doctoralThesis
dc.typeinfo:eu-repo/semantics/publishedVersion

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
01.ATT_1de1.pdf
Mida:
5.22 MB
Format:
Adobe Portable Document Format
Descarregar

Col·leccions

Tesis Doctorals - Departament - Probabilitat, Lògica i Estadística