Author

Mitar Nedeljković

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Linear Logic via algebra I: Girard algebras

In this paper we develop several aspects of the algebraic theory of Girard algebras, regarded as the equivalent algebraic semantics of multiplicative additive Linear Logic $\mathsf{MALL}$. The main structural results concern the bottom of the subvariety lattice of the variety of Girard algebras: varieties generated by...

P. Aglianó, Mitar Nedeljković · 0 citations