Reasoning, Rationality & Science
Search
Search
Dark mode
Light mode
Explorer
Tag: andrea
4 items with this tag.
Oct 28, 2026
Andrea Sabatini joined our team to work on the Lodex project
news
andrea
lodex
Oct 28, 2026
Talks on Cut-Freeness and Integrating Questions in the Argument Calculi at the Lodex Workshop in Luxembourg
andrea
christian
AC
DAC
AI
lodex
kees
news
Oct 28, 2026
New paper on "Making Argument Calculi Proof-Theoretically Robust: Cut-Elimination, Analyticity, and Interpolation" is forthcoming in the Proceedings of AI^3
kees
christian
andrea
DAC
AC
AI
news
lodex
Oct 28, 2026
Andrea Sabatini
lodex
andrea