![]() ![]() | Abbadini, M., & GUFFANTI, F. (2025). Quantifier-free formulas and quantifier alternation depth in doctrines. Journal of Pure and Applied Algebra. ![]() |
![]() ![]() | GUFFANTI, F. (2024). Adding a constant and an axiom to a doctrine. Mathematical Logic Quarterly. doi:10.1002/malq.202300053 ![]() |
![]() ![]() | GUFFANTI, F. (07 May 2024). Left adjoint to precomposition in elementary doctrines. Theory and Applications of Categories, 41 (15), 493-515. ![]() |