Shahid Rahman

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

Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shīrāzī’s Insights into the Dialectical Constitution of Meaning and Knowledge