Apostolos Tzimoulis

Identifiers

• name variant Apostolos Tzimoulis 0.60 · backfill

Papers (9)

1. Canonical Extensions of Quantale-Enriched Categories math.CT · 2026 · author #2
2. A proof-theoretic approach to abstract interpretation cs.LO · 2026 · author #3
3. Modular constructive Lyndon interpolation for nondistributive logics math.LO · 2026 · author #4
4. Logics for Rough Concept Analysis math.LO · 2018 · author #5
5. Goldblatt-Thomason for LE-logics math.LO · 2018 · author #3
6. Toward an Epistemic-Logical Theory of Categorization cs.LO · 2017 · author #5
7. Probabilistic Epistemic Updates on Algebras math.LO · 2016 · author #4
8. Categories: How I Learned to Stop Worrying and Love Two Sorts math.LO · 2016 · author #4
9. Unified Correspondence as a Proof-Theoretic Tool math.LO · 2016 · author #4

Mentions

• 2605.26809 #2 · arxiv_oai · confidence 0.70 Apostolos Tzimoulis
• 2605.26591 #3 · arxiv_oai · confidence 0.70 Apostolos Tzimoulis
• 2605.17161 #4 · arxiv_oai · confidence 0.70 Apostolos Tzimoulis

Frequent Coauthors

• Alessandra Palmigiano 8 shared papers
• Willem Conradie 4 shared papers
• Giuseppe Greco 3 shared papers
• Sabine Frittella 3 shared papers
• Michele Piazzai 2 shared papers
• Nachoem M. Wijnberg 2 shared papers
• Alexander Kurz 1 shared papers
• Andrea De Domenico 1 shared papers
• Caterina Urban 1 shared papers
• Krishna Manoorkar 1 shared papers
• Minghui Ma 1 shared papers
• Nachoem Wijnberg 1 shared papers
• Peter Jipsen 1 shared papers
• Vijay D'Silva 1 shared papers
• Zhiguang Zhao 1 shared papers