MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY
From MaRDI portal
Publication:4577994
DOI10.1017/S1755020317000363zbMath1502.03005OpenAlexW2782983618WikidataQ129724497 ScholiaQ129724497MaRDI QIDQ4577994
Pawel Pawlowski, Rafal Urbaniak
Publication date: 7 August 2018
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020317000363
many-valued logicinformal provabilityLöb's theoremnon-deterministic semanticsparadoxes of provability
Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics, Tree-like proof systems for finitely-many valued non-deterministic consequence relations, Non-deterministic logic of informal provability has no finite characterization
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Informal proofs and mathematical rigour
- In defense of epistemic arithmetic
- A Problem with the Dependence of Informal Proofs on Formal Proofs
- Outline of a Theory of Truth
- Finite non-deterministic semantics for some modal systems
- Reflecting in epistemic arithmetic