Follow
Uniform validity of atomic Kreisel-Putnam rule in monotonic proof-theoretic semantics https://arxiv.org/abs/2503.19930 #mathLO
Uniform validity of atomic Kreisel-Putnam rule in monotonic proof-theoretic semantics https://arxiv.org/abs/2503.19930 #mathLO