Department Members
Department Activity
Details
-
MA program offered
-
PhD program offered
Also at Jean Moulin Lyon 3 University
-
Mikaël Cozic, Economie « sans esprit » et données cognitivesRevue de Philosophie Économique 13 (1): 127-153. 2012.
-
Elodie Giroux and Maël Lemoine, Philosophie de la médecine: Volume 2, Santé, maladie, pathologieLibrairie Philosophique J Vrin. 2012.
-
Mikael Cozic, Imagining and Sleeping Beauty: A Case for Double-HalfersInternational Journal of Approximate Reasoning 52 (2): 137-143. 2011.
-
Mikaël Cozic, Review of The Philosophy of Social Science by D.Steel and F. Guala (review)
-
Mikael Cozic, Review of Non-Bayesian Decision Theory. Beliefs and Desires as Reasons for Action (review)Economics and Philosophy 27 (1): 53-59. 2011.
-
Anouk Barberousse, Denis Bonnay, and Mikaël Cozic, Précis de philosophie des sciences (edited book)Vuibert. 2011.
-
Charles Girard, La démocratie doit-elle être délibérative?Archives de Philosophie 74 (2): 223-240. 2011.
-
Charles Girard, La délibération médiatisée Démocratie et communication de masseArchives de Philosophie du Droit 54 207-224. 2011.
-
Florence Hulak and Charles Girard, Philosophie des sciences humaines: concepts et problèmes (edited book)Librairie philosophique J. Vrin. 2011.
-
Denis Bonnay and Mikael Cozic, Philosophie de la logique: conséquence, preuve et véritéLibrairie Philosophique Vrin. 2009.
-
Jean-Baptiste Joinet, Completeness of MLL Proof-Nets w.r.t. Weak DistributivityJournal of Symbolic Logic 72 (1). 2007.
-
Mikaël Cozic, Epistemic models, logical monotony and substructural logicsIn Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today, Springer. pp. 11--23. 2006.
-
France Xii, Marcelo Coniglio, Gilles Dowek, Jouko A Vaananen, Renata Wassermann, Eric Allender, Jean-Baptiste Joinet, and Dale Miller, Ouro Preto (Minas Gerais), Brazil July 29–August 1, 2003Bulletin of Symbolic Logic 10 (2). 2004.
-
Willard Von Orman Quine, C. Alsaleh, B. Ambroise, Denis Bonnay, S. Bozon, and Mikael Cozic, Du point de vue logique: neuf essais logico-philosophiquesLibrairie Philosophique Vrin. 2003.
-
Jean-Baptiste Joinet, Harold Schellinx, and Lorenzo Tortora de Falco, SN and {CR} for free-style {${bf LK}sp {tq}$}: linear decorations and simulation of normalizationJournal of Symbolic Logic 67 (1): 162-196. 2002.
-
Vincent Danos, Jean-Baptiste Joinet, and Harold Schellinx, A new deconstructive logic: Linear logicJournal of Symbolic Logic 62 (3): 755-807. 1997.
-
Vincent Danos, Jean-Baptiste Joinet, and Harold Schellinx, A New Deconstructive Logic: Linear LogicJournal 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 implicationIn 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 derivationsArchive for Mathematical Logic 33 (6): 387-412. 1995.