2 citations · 3 across the 3 of their papers we have counts for
3 papers
math.LO2024
Modelling Multiplicative Linear Logic via Deep Inference
Tomer Galor, Andrea Schalk
Multiplicative linear logic is a very well studied formal system, and most such studies are concerned with the one-sided sequent calculus. In this paper we look in detail at existi…
cs.DM2019★ 1 cited
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms
Joseph Razavi, Andrea Schalk
Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular…
cs.LO2015★ 2 cited
Constructing Fully Complete Models of Multiplicative Linear Logic
Andrea Schalk, Hugh Paul Steele
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are…