Browsing by Subject Deducció
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Dec-2024 | Intuitionistic Sahlqvist theory for deductive systems | Fornasiere, Damiano; Moraschini, Tommaso |
| 8-Jun-2016 | Investigations into the role of translations in abstract algebraic logic | Moraschini, Tommaso |