Davide Emilio Quadrellaro

According to our database, Davide Emilio Quadrellaro authored at least 5 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2026

Strictly <i>n</i> -finite Varieties of Heyting Algebras.

Tapani Hyttinen, Miguel Martins, Tommaso Moraschini, Davide Emilio Quadrellaro

J. Symb. Log., 2026

2024

Compactness in team semantics.

Joni Puljujärvi, Davide Emilio Quadrellaro

Math. Log. Q., May, 2024

2022

An Algebraic Approach to Inquisitive and DNA-LOGICS.

Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro

Rev. Symb. Log., 2022

On intermediate inquisitive and dependence logics: An algebraic study.

Davide Emilio Quadrellaro

Ann. Pure Appl. Log., 2022

2019

Lattices of Intermediate Theories via Ruitenburg's Theorem.

Gianluca Grilletti, Davide Emilio Quadrellaro

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019