Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Simmons, Robert J."'
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 call for an enumeration of models that vary along some set of choices wh
Externí odkaz:
http://arxiv.org/abs/2405.19040
Publikováno v:
Math. Struct. Comp. Sci. 26 (2016) 868-906
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-process interpretation of a fragment of linear logic. The argument mak
Externí odkaz:
http://arxiv.org/abs/1211.4100
Autor:
Simmons, Robert J., Toninho, Bernardo
We present constructive provability logic, an intuitionstic modal logic that validates the L\"ob rule of G\"odel and L\"ob's provability logic by permitting logical reflection over provability. Two distinct variants of this logic, CPL and CPL*, are p
Externí odkaz:
http://arxiv.org/abs/1205.6402
Autor:
Simmons, Robert J.
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 derivations by eagerly applying invertible rules and grouping sequenc
Externí odkaz:
http://arxiv.org/abs/1109.6273
Publikováno v:
TLP 11 (2-3): 263-296, 2011
Weighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph
Externí odkaz:
http://arxiv.org/abs/1006.3035
Autor:
Simmons, Robert J.
Publikováno v:
Dissertations.
A logical framework and its implementation should serve as a flexible tool for specifying, simulating, and reasoning about formal systems. When the formal systems we are interested in exhibit state and concurrency, however, existing logical framework
Externí odkaz:
http://repository.cmu.edu/dissertations/205
http://repository.cmu.edu/cgi/viewcontent.cgi?article=1206&context=dissertations
http://repository.cmu.edu/cgi/viewcontent.cgi?article=1206&context=dissertations
Autor:
Simmons, Robert J.
Substructural logics, such as linear logic and ordered logic, have an inherent notion of state and state change. This makes them a natural choice for developing logical frameworks that specify evolving stateful systems. Our previous work has shown th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82fb0dc2eb532245c9af58485d2f609a
Autor:
Cabot, Stephen J., Simmons, Robert J.
Publikováno v:
Labor Law Journal. Dec76, Vol. 27 Issue 12, p773-780. 8p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Simmons, Robert J.
A logical framework and its implementation should serve as a flexible tool for specifying, simulating, and reasoning about formal systems. When the formal systems we are interested in exhibit state and concurrency, however, existing logical framework
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59626ea4960cd41b711db5a5c2e20bf2