Mostrando ítems 1-2 de 2
Torrens Torrell, Antoni (Fecha de defensa: 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 (Fecha de defensa: 1975-01-01)
Aquesta tesi presenta una contribució a l'estudi de les estructures algebraïques dels sistemes lògics deductius