most citedUsing Z3 to Verify Inferences in Fragments of Linear Logic

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2023★ 1 cited

Using Z3 to Verify Inferences in Fragments of Linear Logic

Alen Docef, Radu Negulescu, Mihai Prunescu

Linear logic is a substructural logic proposed as a refinement of classical and intuitionistic logics, with applications in programming languages, game semantics, and quantum physi…