Davide Emilio Quadrellaro

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the model theory of second-order objects Annals of Pure and Applied Logic	2026-09-08	Paper
Some remarks on Husserl's \textit{Doppelvortrag} Archive for History of Exact Sciences	2026-05-21	Paper
Strictly n-finite varieties of Heyting algebras The Journal of Symbolic Logic	2026-03-11	Paper
Compactness in team semantics Mathematical Logic Quarterly (MLQ)	2024-08-19	Paper
Esakia duals of regular Heyting algebras Algebra Universalis	2024-01-04	Paper
Varieties of strictly n-generated Heyting algebras	2023-06-21	Paper
Compactness in Team Semantics	2022-12-07	Paper
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS The Review of Symbolic Logic	2022-11-08	Paper
Algebraizable Weak Logics	2022-10-12	Paper
On intermediate inquisitive and dependence logics: an algebraic study Annals of Pure and Applied Logic	2022-09-16	Paper
On Intermediate Inquisitive and Dependence Logics: An Algebraic Study (available as arXiv preprint)	2021-04-02	Paper
Lattices of Intermediate Theories via Ruitenburg's Theorem	2020-04-02	Paper
On Model Theory of Second-Order Objects (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Davide Emilio Quadrellaro