Piccolomini d’Aragona A. Classical Logic, Uniformity, and Weak Excluded Middle in Non-Monotonic Proof-Theoretic Semantics. B Sect Log. 2026;55(1):83-118. doi:10.18778/0138-0680.2026.04