Pascal Gribomont (gribomont-p)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Gochet, Paul and Gribomont, Pascal. 1989. “Logique et Informatique.” in L’Encylopédie Philosophique Universelle I: L’Univers Philosophique, edited by André Jacob. Paris: Presses Universitaires de France.
Gochet, Paul and Gribomont, Pascal. 1990. Logique. Méthodes pour l’informatique fondamentale (volume1). Paris: Hermès.
Gochet, Paul and Gribomont, Pascal. 1994. Logique. Méthodes pour la vérification des programmes (volume 2). Paris: Hermès.
Gochet, Paul and Gribomont, Pascal. 2006. “Epistemic Logic.” in Handbook of the History of Logic. Volume 7: Logic and the Modalities in the 20th Century, edited by Dov M. Gabbay and John Woods, pp. 99–195. Amsterdam: North-Holland Publishing Co.
Gochet, Paul, Gribomont, Pascal and Didier, Rossetto. 2005. “Algorithms for Relevant Logic.” in Logic, Thought and Action, edited by Daniel Vanderveken, pp. 479–496. Logic, Epistemology, and the Unity of Science n. 2. Dordrecht: Springer, doi:10.1007/1-4020-3167-x.
Gochet, Paul, Gribomont, Pascal and Rossetto, Didier. 1995. “Algorithms for Relevant Logic.” Logique et Analyse 38(150–152): 329–346.