Davide Rinaldi

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 4

Top Topics

Efficient Implementation

Cut Elimination

Linear Time Temporal Logic

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Log. Methods Comput. Sci.

Publications

Davide Rinaldi, Daniel Wessel
Cut elimination for entailment relations. Arch. Math. Log. 58 (5-6) (2019)
Davide Rinaldi, Daniel Wessel
Extension by Conservation. Sikorski's Theorem. Log. Methods Comput. Sci. 14 (4) (2018)
Davide Rinaldi, Peter Schuster, Daniel Wessel
Eliminating Disjunctions by Disjunction Elimination. Bull. Symb. Log. 23 (2) (2017)
Davide Rinaldi, Daniel Wessel
Extension by Conservation. Sikorski's Theorem. CoRR (2016)