Torrens Torrell, Antoni (Date of defense: 1980-01-01)
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ó ...
Pla i Carrera, Josep (Date of defense: 1975-01-01)
Aquesta tesi presenta una contribució a l'estudi de les estructures algebraïques dels sistemes lògics deductius