Drag to reposition
Save
Cancel
Jean Moulin Lyon 3 University
Faculté de Philosophie
Follow
News
Feed
Department Affiliates
17
Regular faculty
Other faculty
Retired faculty
4
Graduate students
2
Undergraduates
2
Alumni
1
Other
Department Activity
News and Updates
Publications
More details
Details
MA program offered
PhD program offered
Website
Contact administrative assistant
Also at Jean Moulin Lyon 3 University
All departments
Other departments
Department Affiliates
17
Regular faculty
Other faculty
Retired faculty
4
Graduate students
2
Undergraduates
2
Alumni
1
Other
Department Activity
News and Updates
Publications
Also at Jean Moulin Lyon 3 University
All departments
Other departments
Topic
All topics
Metaphysics & Epistemology
Epistemology
Metaphysics
Phil. of Action
Phil. of Language
Phil. of Mind
Value Theory
Aesthetics
Applied Ethics
Normative Ethics
Phil. of Gender, Race, & Sexuality
Phil. of Law
Social & Political Phil.
Government & Democracy
Value Theory, Misc.
Science, Logic, & Mathematics
Logic & Phil. of Logic
Phil. of Biology
Phil. of Physical Science
Phil. of Social Science
Phil. of Probability
General Phil. of Science
Phil. of Science, Misc
Phil. of Medicine
Disease
History of Western Phil.
Ancient Greek & Roman Phil.
Medieval & Renaissance Phil.
17th / 18th Century Phil.
19th Century Phil.
20th Century Phil.
Philosophical Traditions
Continental Phil.
Phenomenology
Edmund Husserl
Maurice Merleau-Ponty
European Phil.
Phil. of the Americas
Phil., Misc
Phil., General Works
Order
Newest
Viewings
Faculty only
Vincent Danos,
Jean-Baptiste Joinet
, and Harold Schellinx,
A new deconstructive logic: Linear logic
Journal of Symbolic Logic
62 (3): 755-807. 1997.
Vincent Danos,
Jean-Baptiste Joinet
, and Harold Schellinx,
LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication
In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.),
Advances in linear logic
, Cambridge University Press. pp. 222--211. 1995.
Vincent Danos,
Jean-Baptiste Joinet
, and Harold Schellinx,
On the linear decoration of intuitionistic derivations
Archive for Mathematical Logic
33 (6): 387-412. 1995.
Prev.
1
2
3
Next
Details
MA program offered
PhD program offered
Website
Contact administrative assistant