Add to ORKGThis work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond
AbstractThis paper surveys several computational interpretations of classical linear logic based on ...
This paper explores applications of concepts from argumentation theory to mathematical proofs. Note ...
The subject called game semantics grew out as a coherent body of work from two seminal works of the ...
Mathematical game theory has been embraced by a variety of scholars: social scientists, biologists, ...
Abstract. We survey several computational interpretations of classical linear logic based on two-pla...
Mathematical logic and theoretical computer science are the mathematical studies of logic and compu...
CL&C 2012 was the fourth of a conference series on Classical Logic and Computation, held as sate...
We define a class of dialogue games and prove that existence of winning strategies for the Proponent...
This paper aims at studying relations between proof systems and games in a given logic and at analyz...
Game semantics extends the Curry-Howard isomorphism to a three-way correspondence: proofs, programs,...
Abstract. A number of classical theories are interpreted in analogous theories that are based on int...
International audienceAnalyzing mathematical proof is part of the work of mathematicians, but also o...
Theorem-proving is a one-player game. The history of computer programs being the players goes back t...
The idea to model logic by game-theoretic tools can be traced back to the work of Lorenzen [19]. The...
This book presents a rigorous introduction to the mathematics of game theory without losing sight of...
AbstractThis paper surveys several computational interpretations of classical linear logic based on ...
This paper explores applications of concepts from argumentation theory to mathematical proofs. Note ...
The subject called game semantics grew out as a coherent body of work from two seminal works of the ...
Mathematical game theory has been embraced by a variety of scholars: social scientists, biologists, ...
Abstract. We survey several computational interpretations of classical linear logic based on two-pla...
Mathematical logic and theoretical computer science are the mathematical studies of logic and compu...
CL&C 2012 was the fourth of a conference series on Classical Logic and Computation, held as sate...
We define a class of dialogue games and prove that existence of winning strategies for the Proponent...
This paper aims at studying relations between proof systems and games in a given logic and at analyz...
Game semantics extends the Curry-Howard isomorphism to a three-way correspondence: proofs, programs,...
Abstract. A number of classical theories are interpreted in analogous theories that are based on int...
International audienceAnalyzing mathematical proof is part of the work of mathematicians, but also o...
Theorem-proving is a one-player game. The history of computer programs being the players goes back t...
The idea to model logic by game-theoretic tools can be traced back to the work of Lorenzen [19]. The...
This book presents a rigorous introduction to the mathematics of game theory without losing sight of...
AbstractThis paper surveys several computational interpretations of classical linear logic based on ...
This paper explores applications of concepts from argumentation theory to mathematical proofs. Note ...
The subject called game semantics grew out as a coherent body of work from two seminal works of the ...