Speaker: Dr. Hadassa Jakobovits
Sunday, April 27, 2014 | 14:00 | Science Building (8),Room 424
We provide a formalism for the study of dialogues, where a dialogue is a two-person game, initiated by the proponent who defends a proposed thesis. We examine several different winning criteria and several different dialogue types, where a dialogue type is a set of positions, an attack relation between positions, and a legal-move function. We examine proof theories, where a proof theory is determined by a dialogue type and a winning criterion. For each of the proof theories we supply a corresponding declarative semantics.
Light refreshments will be served at 14:45. Anybody is invited.
For further information:David Garber, Department of Applied Mathematics, Faculty of Sciences,Holon Institute of Technology