Browsing by Author Moraschini, Tommaso
Showing results 1 to 7 of 7
Issue Date | Title | Author(s) |
---|---|---|
Jul-2024 | Epimorphism Surjectivity in Logic and Algebra | Kurtzhals, Miriam |
Jul-2024 | Inconsistency lemmas and the inconsistency by cases property | Hortelano Martín, Isabel |
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 |
Jul-2024 | Meet-irreducible elements in the poset of all logics | Muñoz Pérez, MIguel |
Sep-2024 | Reiterman‘s theorem for pseudovarieties | Liberal Grana, Ion Mikel |
2023 | Unification in intuitionistic logic | Cristancho S., Sebastián R. |