Now showing items 1-1 of 1
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 ...