32 citations · 41 across the 5 of their papers we have counts for
5 papers
Querying Graph-Relational Data
Michael J. Sullivan, Zhibo Chen, Elvis Pranskevichus +4
For applications that store structured data in relational databases, there is an impedance mismatch between the flat representations encouraged by relational data models and the de…
Finite-Choice Logic Programming
Chris Martens, Robert J. Simmons, Michael Arntzenius
Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model: the deductive closure of its inference rules. However, many problems ca…
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-…
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…
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…