2 papers
cs.LO2026
A unification of graded and substructural logics
Peter Hanukaev, Harley Eades
Type systems which account for resource sensitive computations can generally be split into two styles: First, substructural logics such as Linear Logic which seek to restrict weake…
cs.LO2024
A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
Victoria Vollmer, Danielle Marshall, Harley Eades +1
Graded modal logics generalise standard modal logics via families of modalities indexed by an algebraic structure whose operations mediate between the different modalities. The gra…