Browsing by Author Moraschini, Tommaso
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
|---|---|---|
| Oct-2020 | Inconsistency lemmas: an algebraic approach | Herrera Hernández, Jorge |
| 8-Jun-2016 | Investigations into the role of translations in abstract algebraic logic | Moraschini, Tommaso |
| 2023 | Unification in intuitionistic logic | Cristancho S., Sebastián R. |