Non-deterministic logic of informal provability has no finite characterization
type: Item
instance of: scholarly article
title: Non-deterministic logic of informal provability has no finite characterization
zbMATH Open document ID: 1496.03248
author: Pawel Pawlowski
published in: Journal of Logic, Language and Information
publication date: 2022-01-28T00:00:00Z
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 7465848
zbMATH Keywords: indeterministic logics
zbMATH Keywords: BAT
zbMATH Keywords: CABAT
zbMATH Keywords: finite deterministic semantics
zbMATH Keywords: non-deterministic semantics
zbMATH Keywords: informal provability
zbMATH Keywords: BAT logic
MaRDI profile type: Publication
full work available at URL: s10849-021-09344-9
OpenAlex ID: W3210588079
cites work: Informal proofs and mathematical rigour
cites work: Q4539639
cites work: Non-deterministic Multiple-valued Structures
cites work: Modal logic as dialogical logic
cites work: Q3867808
cites work: Dugundji's theorem revisited
cites work: Note on a property of matrices for Lewis and Langford's calculi of propositions
cites work: Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
cites work: Reflecting in epistemic arithmetic
cites work: Provability in principle and controversial constructivistic principles
cites work: In defense of epistemic arithmetic
cites work: Gödel’s Disjunction
cites work: Outline of a Theory of Truth
cites work: Q3101071
cites work: MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY
cites work: Why Do We Prove Theorems?
cites work: A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
cites work: Epistemic theories and the interpretation of Gödel's incompleteness theorems
cites work: Q3347874
cites work: Provability interpretations of modal logic
cites work: A Problem with the Dependence of Informal Proofs on Formal Proofs
DOI: 10.1007/S10849-021-09344-9
description: scientific article; zbMATH DE number 7465848