2 citations · 3 across the 10 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL
Alessandro Linzi
We present a complete formalization in Isabelle/HOL of the object part of an equivalence between L-mosaics and bounded join-semilattices, employing an AI-assisted methodology that…
math.CT2025
L-mosaics and orthomodular lattices
Nicolò Cangiotti, Alessandro Linzi, Enrico Talotti
In this paper, we introduce a class of hypercompositional structures called dualizable L-mosaics. We prove that their category is equivalent to that formed by ortholattices and we…