Tesis doctoral de Antonio Torrens Torrell
Se obtienen y estudian las algebras d-completas como las algebras implicativas asociadas a ciertos calculos proposicionales implicativos. Que satisfacen un teorema de la deduccion debil y contienen a los calculos proposicionales multivalorados dados por lukasiewicz. tambien se estudian los sistemas deductivos de estas algebras.
Datos académicos de la tesis doctoral «Estudi i algebraitzacio de certes logiques: algebres d-completes.«
- Título de la tesis: Estudi i algebraitzacio de certes logiques: algebres d-completes.
- Autor: Antonio Torrens Torrell
- Universidad: Barcelona
- Fecha de lectura de la tesis: 01/01/1980
Dirección y tribunal
- Director de la tesis
- Sales Valles Francisco De Asis
- Tribunal
- Presidente del tribunal: Francisco Sales Valles
- Rafael Mallol Balaña (vocal)
- Cascante Davila José M. (vocal)
- Nadal Batle Nicolau (vocal)