Locus Solum: From the rules of logic to the logic of rules

By J. Girard. Mathematical Structures in Computer Science, 2001

320 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/4e71a6405c9aa5ffb59fd9d1453d5cafb09792c5

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Ralph Matthes
2. Tarmo Uustalu
3. Benedikt Ahrens

In Computational Theory and Mathematics

1. Ralph Matthes
2. Tarmo Uustalu
3. Benedikt Ahrens

Citations in the corpus

• Substitution in Non-wellfounded Syntax with Variable Binding (2003, background): “Finally, also the syntax of Girard’s Ludics[20], the language of designs, is non-wellfounded.”
• The Blind Spot: Lectures on Logic (2011, background): “Le reste, soit plus de la moitié de cet ouvrage, est consacré aux travaux de l’auteur sur la logique linéaire [8, 9], sur la relecture linéaire des logiques intuitionniste et classique, ainsi que sur les programmes de recherche dérivés de la logique linéaire que sont la géométrie de l’interaction (i”