Non-deterministic Logic of Informal Provability has no Finite Characterization

Journal of Logic Language and Information ◽

10.1007/s10849-021-09344-9 ◽

2021 ◽

Author(s):

Pawel Pawlowski

Download Full-text