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

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ó feble i contenen ...