Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Informal provability in mathematics as a partial notion.

Information

Project Team

Outputs and Outcomes

Publications

Non-deterministic logic of informal provability has no finite characterization

Pawel Pawlowski

A1 Journal Article in JOURNAL OF LOGIC LANGUAGE AND INFORMATION

2021