New Developments in Legal Reasoning and Logic
2021
Inferences by Parallel Reasoning in Islamic Jurisprudence
2020
Immanent Reasoning or Equality in Action
2018
Linking Game-Theoretical Approaches with Constructive Type Theory
2015
The Unity of Science in the Arabic Tradition
2008
Special Sciences and the Unity of Science
2012