Pascal Gribomont (gribomont-p)

Contributions to Philosophie.ch

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.
Gochet, Paul, Gribomont, Pascal and Thayse, André. 2000. Logique. Méthodes pour l’intelligence artificielle (volume 3). Paris: Hermès-Lavoisier.
Gribomont, Pascal, Ribbens, Daniel and Wolper, Pierre. 2000. “Logique, automates, informatique.” in Logique en perspective. Mélanges offerts à Paul Gochet, edited by François Beets and Éric Gillet, pp. 545–577. Bruxelles: Éditions Ousia.