- The Realism-Antirealism Debate in the Age of Alternative Logics
- The Unity of Science in the Arabic Tradition: Science, Logic, Epistemology and their Interactions (Logic, Epistemology, and the Unity of Science)
- Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox (Logic, Epistemology, and the Unity of Science)
- Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT Demonstrations and the Axiom of Choice
- Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level