Type-theoretical grammar
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Game Theory and Linguistic Meaning
Game Theory and Linguistic Meaning
Ludics and natural language: first approaches
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Abstract machines for argumentation
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Hi-index | 0.00 |
Proofs in Ludics, have an interpretation provided by their counter-proofs , that is the objects they interact with. We shall follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. In this aim, we shall develop many concepts of Ludics like designs (which generalize proofs), cut-nets , orthogonality and behaviours (that is sets of designs which are equal to their bi-orthogonal). Behaviours give statements their interactive meaning. Such a conception may be viewed at the intersection between proof-theoretic and game-theoretical accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes instead of getting stuck to an atomic level when decomposing a formula.