Marco Volpe

Identifiers

• name variant Marco Volpe 0.60 · backfill

Papers (4)

1. A characterization of sheaves among six functor formalisms on $\mathrm{LCH}$ math.AT · 2026 · author #2
2. Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics cs.LO · 2014 · author #3
3. A History of Until cs.LO · 2009 · author #3
4. Labeled Natural Deduction Systems for a Family of Tense Logics cs.LO · 2008 · author #2

Mentions

• 2606.10453 #2 · arxiv_oai · confidence 0.70 Marco Volpe
• 1408.3775 #3 · backfill · confidence 0.70 Marco Volpe
• 0910.4500 #3 · backfill · confidence 0.70 Marco Volpe
• 0803.3187 #2 · backfill · confidence 0.70 Marco Volpe

Frequent Coauthors

• Luca Vigan\`o 2 shared papers
• Andrea Masini 1 shared papers
• Carlos Caleiro 1 shared papers
• Jo\~ao Marcos 1 shared papers
• Ulrich Bunke 1 shared papers