{"id":"arxiv/2610.16804","url":"https://arxiv.org/abs/2610.16804","tags":["math.LO"],"score":0,"title":"Linear Logic via algebra I: Girard algebras","domain":"math.LO","source":"arxiv","authors":["Paolo Agliano","Mitar Nedeljkovic"],"reviews":0,"subject":"math.LO","summary":"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 simple Girard algebras generated by the constants correspond exactly to the atoms of the lattice. Moreover the lattice itself is atomic, i.e. every nontrivial subvariety contains an atom. These atoms can be represented uniformly by the maximal filters of the free algebra…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}