Antonio Piccolomini d’Aragona

Some results in non-monotonic proof-theoretic semantics

2025 · arXiv (Cornell University)

I explore the relationships between Prawitz's approach to non-monotonic proof-theoretic validity, which I call reducibility semantics, and some later proof-theoretic approaches, which I call standard base semantics and Sandqvist's base semantics respectively. I show that, …