Non-deterministic logic of informal provability has no finite characterization

From MaRDI portal
Publication:2071578

DOI10.1007/s10849-021-09344-9zbMath1496.03248OpenAlexW3210588079MaRDI QIDQ2071578

Pawel Pawlowski

Publication date: 28 January 2022

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-021-09344-9






Cites Work




This page was built for publication: Non-deterministic logic of informal provability has no finite characterization