The Philosopher
Katalin Bimbó
The face
The background
- Nationality:
- Canadian
The synopsis
The works
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
Combinatory Logic: Pure, Applied and Typed
Proof Theory: Sequent Calculi and Related Formalisms
J. Michael Dunn on Information Based Logics
Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn