7 citations · 18 across the 6 of their papers we have counts for
1 paper · 1 filter
Michele Basaldella
In this paper, we present an interactive semantics for derivations in an infinitary extension of classical logic. The formulas of our language are possibly infinitary trees labeled…