DOI10.1093/jigpal/jzab035MaRDI QIDQ5877712
Rafal Urbaniak, Pawel Pawlowski
Publication date: 16 February 2023 Published in: Logic Journal of the IGPL (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1093/jigpal/jzab035
zbMATH Keywords
many-valued logic; informal provability; non-deterministic semantics; paradoxes of provability
Mathematics Subject Classification ID
03-XX: Mathematical logic and foundations
68-XX: Computer science