Non-deterministic logic of informal provability has no finite characterization
From MaRDI portal
Publication:2071578
DOI10.1007/s10849-021-09344-9zbMath1496.03248OpenAlexW3210588079MaRDI QIDQ2071578
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
BATinformal provabilitynon-deterministic semanticsBAT logicCABATfinite deterministic semanticsindeterministic logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Informal proofs and mathematical rigour
- Epistemic theories and the interpretation of Gödel's incompleteness theorems
- Provability interpretations of modal logic
- In defense of epistemic arithmetic
- Provability in principle and controversial constructivistic principles
- Dugundji's theorem revisited
- A Problem with the Dependence of Informal Proofs on Formal Proofs
- Non-deterministic Multiple-valued Structures
- Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
- Why Do We Prove Theorems?
- Outline of a Theory of Truth
- MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY
- Gödel’s Disjunction
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- Reflecting in epistemic arithmetic
- Note on a property of matrices for Lewis and Langford's calculi of propositions
- Modal logic as dialogical logic
This page was built for publication: Non-deterministic logic of informal provability has no finite characterization