43 citations · 72 across the 14 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
A Sound, Complete and Effective Second Order Game Semantics
Stefano Berardi
We define a game semantics for second order classical arithmetic PA2 (with quantifiers over predicates on integers and full comprehension axiom). Our semantics is effective: moves…
cs.LO2016
Proceedings Sixth International Workshop on Classical Logic and Computation
Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi
The workshop series intends to cover research that investigates the computational aspects of classical logic and mathematics. Its focus is on unwinding the computational content of…