• Publications
  • Influence
First-Order Dialogical Games and Tableaux
We present a new proof of soundness/completeness of tableaux with respect to dialogical games in Classical First-Order Logic where finiteness is guaranteed by means of what we call repetition ranks. Expand
Constructive Type Theory and the Dialogical Approach to Meaning
. November 2013 Volume 8: Games, Game Theory and Game Semantics pages 1-72. DOI: . Also online in: www.thebalticyearbook.org
Immanent Reasoning or Equality in Action
The Chapter on The equality predicate in the dialogical frame. It is based on a kind of indirect copy-cat moves
On Dialogues and Natural Deduction
The dialogical approach to logic has well known relations with other proof methods, like sequent calculi and semantic tableaux. In this paper we explore the connection between dialogues and naturalExpand
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory by means of the dialogical approach to logic. Expand
A Brief Introduction to Constructive Type Theory
Martin-Lof’s Constructive Type Theory (CTT) is a formal language developed in order to reason constructively about mathematics. It is thus a formal language conceived primarily as a tool to reasonExpand
The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice
The aim of the paper is to develop a new constructivist approach to the game theoretical interpretation of AC based on the CTT-proof of Per Martin-Löf (1980). More precisely, Clerbout and RahmanExpand
Context-Sensitivity in Jain Philosophy: A Dialogical Study of Siddharṣigaṇi’s Commentary on the Handbook of Logic
In classical India, Jain philosophers developed a theory of viewpoints (naya-vāda) according to which any statement is always performed within and dependent upon a given epistemic perspective or viewpoint. Expand