Sales Vallés, F. de A. (Francisco de A.), 1914-2005Torrens Torrell, AntoniUniversitat de Barcelona. Departament de Probabilitat, Lògica i Estadística2013-05-072013-05-071980-01-019788469404751https://hdl.handle.net/2445/42667En 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.application/pdfcat(c) Torrens Torrell, 1980Lògica matemàticaMathematical logicinfo:eu-repo/semantics/doctoralThesisB.10477-2011info:eu-repo/semantics/openAccesshttp://www.tdx.cat/TDX-1203110-110839http://hdl.handle.net/10803/2611