Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability

DOI10.12775/llp.2021.016zbMath1530.03035MaRDI QIDQ6484828

Pawel Pawlowski, Rafal Urbaniak

Publication date: 21 September 2022

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

informal provabilitynon-deterministic logicsBAT logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50)

This page was built for publication: Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability