32 citations · 41 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2012★ 4 cited
Relating Reasoning Methodologies in Linear Logic and Process Algebra
Yuxin Deng, Iliano Cervesato, Robert J. Simmons
We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-…
cs.LO2012★ 3 cited
Constructive Provability Logic
Robert J. Simmons, Bernardo Toninho
We present constructive provability logic, an intuitionstic modal logic that validates the Löb rule of Gödel and Löb's provability logic by permitting logical reflection over prova…
cs.LO2011★ 32 cited
Structural focalization
Robert J. Simmons
Focusing, introduced by Jean-Marc Andreoli in the context of classical linear logic, defines a normal form for sequent calculus derivations that cuts down on the number of possible…