Bogdan Dicher

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 3

Top Topics

Cut Elimination

Nonmonotonic Reasoning

Proof Theoretic

Top Venues

Rev. Symb. Log.

Publications

Bogdan Dicher, Francesco Paoli
The original sin of proof-theoretic semantics. Synth. 198 (1) (2021)
Bogdan Dicher
Requiem for logical nihilism, or: Logical nihilism annihilated. Synth. 198 (8) (2021)
Bogdan Dicher
Weak disharmony: some Lessons for Proof-Theoretic Semantics. Rev. Symb. Log. 9 (3) (2016)