Grilletti, Gianluca and Quadrellaro, Davide Emilio
(2022):
Lattices of Intermediate Theories via Ruitenburg’s Theorem.
13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019.
In: Language, Logic, and Computation. 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers, Lecture Notes in Computer Science
Vol. 13206
Cham: Springer. pp. 297-322
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Faculties: | Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) |
| Subjects: | 100 Philosophy and Psychology > 100 Philosophy |
| ISSN: | 0302-9743 |
| Place of Publication: | Cham |
| Language: | English |
| Item ID: | 109996 |
| Date Deposited: | 22. Mar 2024, 07:27 |
| Last Modified: | 22. Mar 2024, 07:27 |
Actions (login required)
- View Item
