publicação venue de
- Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on M ⊃. 9:287-326. 2022-01-01
- Extensive measurement with unrestricted concatenation and no maximal elements. 9:327-346. 2022-01-01
- G'3 as the logic of modal 3-valued Heyting algebras. 9:175-197. 2022-01-01
- Strong Normalization for Np-Systems via Mimp-Graphs. 9:135-160. 2022-01-01