Browsing by Author Greati, Vitor Rodrigues
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
22-Nov-2019 | Hilbert calculi for the main fragments of Classical Logic | Greati, Vitor Rodrigues |
21-Feb-2022 | Hilbert-style formalism for two-dimensional notions of consequence | Greati, Vitor Rodrigues |