Andrea De Domenico

Identifiers

• name variant Andrea De Domenico 0.60 · backfill

Papers (3)

1. Refutation calculi for lattice-based logics: from display to tableaux math.LO · 2026 · author #1
2. Inception Display Calculi math.LO · 2026 · author #1
3. Modular constructive Lyndon interpolation for nondistributive logics math.LO · 2026 · author #1

Mentions

• 2605.24717 #1 · arxiv_oai · confidence 0.70 Andrea De Domenico
• 2605.17175 #1 · arxiv_oai · confidence 0.70 Andrea De Domenico
• 2605.17161 #1 · arxiv_oai · confidence 0.70 Andrea De Domenico

Frequent Coauthors

• Alessandra Palmigiano 3 shared papers
• Giuseppe Greco 3 shared papers
• Andrea Sabatini 1 shared papers
• Apostolos Tzimoulis 1 shared papers
• Mario Piazza 1 shared papers