Yll Buzoku

According to our database¹, Yll Buzoku authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Base-extension Semantics for Intuitionistic Modal Logics.

[BibT_eX]

[DOI]

CoRR, July, 2025

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial.

[BibT_eX]

[DOI]

CoRR, March, 2025

2024

A Proof-theoretic Semantics for Intuitionistic Linear Logic.

[BibT_eX]

[DOI]

CoRR, 2024