关注
Francesca Guffanti
Francesca Guffanti
Postdoc researcher at University of Luxembourg
在 uni.lu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Adding a constant and an axiom to a doctrine
F Guffanti
Mathematical Logic Quarterly 70 (3), 294-332, 2024
42024
Rich doctrines and Henkin's Theorem
F Guffanti
arXiv preprint arXiv:2310.08374, 2023
32023
Freely adding one layer of quantifiers to a Boolean doctrine
M Abbadini, F Guffanti
arXiv preprint arXiv:2410.16328, 2024
2024
Quantifier alternation depth in universal Boolean doctrines
M Abbadini, F Guffanti
arXiv preprint arXiv:2404.08551, 2024
2024
Left adjoint to precomposition in elementary doctrines
F Guffanti
arXiv preprint arXiv:2310.08380, 2023
2023
A Doctrinal View Of Logic
F Guffanti
Università degli Studi di Milano, 2023
2023
系统目前无法执行此操作，请稍后再试。
文章 1–6