The Age of Alternative Logics.

Johan van Benthem , Gerhard Heinzmann (1) , Manuel Rebuschi (1) , Henk Visser

1 LHSP - Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré

Mots clés: Proof; Knowledge and Computation<br />Truth Values beyond Bivalence<br />Category-Theoretic Structures<br />Independence; Evaluation Games; and Imperfect Information<br />Dialogue and Pragmatics

Domaines: Logique [math.LO]; Catégories et ensembles [math.CT]; Philosophie

Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser (Dir.). The Age of Alternative Logics.: Assessing Philosophy of Logic and Mathematics Today. Springer, 2006, Logic, Epistemology, and The Unity of Science. ⟨halshs-00108192⟩