Yll Buzoku

Identifiers

• name variant Yll Buzoku 0.60 · backfill

Papers (2)

1. Classical Logic as Intuitionistic Logic with Duality math.LO · 2025 · author #2
2. A Proof-theoretic Semantics for Intuitionistic Linear Logic cs.LO · 2024 · author #1

Mentions

• 2402.01982 #1 · arxiv_oai · confidence 0.70 Yll Buzoku
• 2503.05364 #2 · arxiv_oai · confidence 0.70 Yll Buzoku

Frequent Coauthors

• Alexander V. Gheorghiu 1 shared papers