Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Tieteenalat
- 111 Matematiikka
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
-
Esakia Duals of Regular Heyting Algebras
Grilletti, G. & Quadrellaro, D. E., 20 maalisk. 2023.Tutkimustuotos: Työpaperi › Esipainos
Tiedosto -
Algebraizable Weak Logics
Nakov, G. & Quadrellaro, D. E., 12 lokak. 2022.Tutkimustuotos: Työpaperi › Esipainos
Tiedosto -
An Algebraic Approach to Inquisitive and DNA-Logics
Bezhanishvili, N., Grilletti, G. & Quadrellaro, D. E., jouluk. 2022, julkaisussa: The Review of Symbolic Logic. 15, 4, s. 950-990 41 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Compactness in Team Semantics
Puljujärvi, J. & Quadrellaro, D. E., 7 jouluk. 2022.Tutkimustuotos: Työpaperi › Esipainos
Tiedosto -
Lattices of Intermediate Theories via Ruitenburg's Theorem
Grilletti, G. & Quadrellaro, D. E., 2022, LANGUAGE, LOGIC, AND COMPUTATION. Özgün, A. & Zinova, Y. (toim.). Cham: Springer International Publishing AG, Vuosikerta 13206. s. 297-322 26 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13206).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Projektit
- 1 Aktiivinen
-
Logical analysis of no-go theorems in social choice and quantum foundations
Yang, F. & Quadrellaro, D. E.
01/01/2019 → …
Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke