, Opposant et lui fait correspondre un coup/une réponse adéquate du Proposant, jusqu'au point où le Proposant atteigne l'établissement de toutes les identités nécessaires entre les énoncés d'atomiques de l'Opposant et les siens propres
,
, Traduction et notes de J. Tricot, vol.369, 1984.
Nouvelle traduction du grec, notes et préface de Jean Lauxerois, vol.287, 2007. ,
Aristotle's natural deduction system, Ancient Logic and Its Modern Interpretations, vol.9, pp.85-131, 1974. ,
The Programme of Aristotelian Analytics, Dialogues, Logics and Other Strange Things. Essays in honour of Shahid Rahman, pp.103-129, 2008. ,
Aristote, Premiers Analytiques ; traduction, introduction et commentaire, 2014. ,
Ein formales Modell der Syllogistik des Aristoteles, 1964. ,
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, 1957. ,
Aristotle on Universal Quantification: A Study form the Perspective of Game Semantics". History and Philosophy of Logic, Online first, 2015. ,
Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, 1980. ,
Logique de l'argumentation dans les traditions orales africaines, 2013. ,
, New Perspectives in Dialogical Logic, special volume Synthese, vol.127
Constructive Type Theory and the Dialogical Approach to Meaning". The Baltic International Yearbook of Cognition, Logic and Communication:Games, Game Theory and Game Semantics, vol.8, pp.1-72, 2013. ,
URL : https://hal.archives-ouvertes.fr/halshs-01225723
Constructive Type Theory and the Dialogical Turn -A new Approach to Erlangen Constructivism, pp.91-148, 2015. ,
,
,
A Dialogical Framework for Aristotle's Syllogism, 2015. ,
What is Aristotelian Echthesis?, History and Philosophy of Logic, vol.3, pp.113-127, 1982. ,