Locus solum: From the rules of logic to the logic of rules
JY Girard - Mathematical structures in computer science, 2001 - cambridge.org
Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where
all things start (…) An-Fang was near a city, the only living city with a pre-atomic name (…) …
all things start (…) An-Fang was near a city, the only living city with a pre-atomic name (…) …
General logics
J Meseguer - Studies in Logic and the Foundations of Mathematics, 1989 - Elsevier
General Logics* Page 1 Logic Colloquium '87 Ha. Ebbinghaus et al. (Editors) 0 Elsevier Science
Publishers BV (North-Holland), 1989 215 General Logics* JosC Meseguer SRI International …
Publishers BV (North-Holland), 1989 215 General Logics* JosC Meseguer SRI International …
Games and full completeness for multiplicative linear logic
We present a game semantics for Linear Logic, in which formulas denote games and proofs
denote winning strategies. We show that our semantics yields a categorical model of Linear …
denote winning strategies. We show that our semantics yields a categorical model of Linear …
A game semantics for linear logic
A Blass - Annals of Pure and Applied logic, 1992 - Elsevier
We present a game (or dialogue) semantics in the style of Lorenzen (1959) for Girard's
linear logic (1987). Lorenzen suggested that the (constructive) meaning of a proposition ϕ …
linear logic (1987). Lorenzen suggested that the (constructive) meaning of a proposition ϕ …
[BOOK][B] Categories, Types and Structures.
A Asperti, G Longo - 1991 - ens.hal.science
Categories, Types and Structures. Page 1 HAL Id: hal-03316030 https://ens.hal.science/hal-03316030
Submitted on 10 Aug 2021 HAL is a multi-disciplinary open access archive for the deposit and …
Submitted on 10 Aug 2021 HAL is a multi-disciplinary open access archive for the deposit and …
Semantics of weakening and contraction
B Jacobs - Annals of pure and applied logic, 1994 - Elsevier
The shriek modality\s! of linear logic performs two tasks: it restores in annotated from both
weakening and contraction. We separate these tasks by introducing two modalities:! w for …
weakening and contraction. We separate these tasks by introducing two modalities:! w for …
Categories of optics
M Riley - arxiv preprint arxiv:1809.00738, 2018 - arxiv.org
Bidirectional data accessors such as lenses, prisms and traversals are all instances of the
same general'optic'construction. We give a careful account of this construction and show that …
same general'optic'construction. We give a careful account of this construction and show that …
Glueing and orthogonality for models of linear logic
We present the general theory of the method of glueing and associated technique of
orthogonality for constructing categorical models of all the structure of linear logic: in …
orthogonality for constructing categorical models of all the structure of linear logic: in …
Categorical semantics of cyber-physical systems theory
Cyber-physical systems require the construction and management of various models to
assure their correct, safe, and secure operation. These various models are necessary …
assure their correct, safe, and secure operation. These various models are necessary …
Generalized Lens Categories via functors
DI Spivak - arxiv preprint arxiv:1908.02202, 2019 - arxiv.org
Lenses have a rich history and have recently received a great deal of attention from applied
category theorists. We generalize the notion of lens by defining a category $\mathsf {Lens} …
category theorists. We generalize the notion of lens by defining a category $\mathsf {Lens} …