Non-deterministic logic of informal provability has no finite characterization

DOI10.1007/S10849-021-09344-9MaRDI QIDQ2071578zbMATH OpenOpenAlexFDO

Authors Pawel Pawlowski

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

zbMATH Keywords

BATBAT logicCABATfinite deterministic semanticsindeterministic logicsinformal provabilitynon-deterministic semantics

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Proof systems for BAT consequence relations
• Many-valued logic of informal provability: a non-deterministic strategy
• Logic of informal provability with truth values
• A modal logic for non-deterministic information systems
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases

Cites work

• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• A problem with the dependence of informal proofs on formal proofs
• Dugundji's theorem revisited
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Gödel’s Disjunction
• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• In defense of epistemic arithmetic
• Informal proofs and mathematical rigour
• Many-valued logic of informal provability: a non-deterministic strategy
• Modal logic as dialogical logic
• Non-deterministic Multiple-valued Structures
• Note on a property of matrices for Lewis and Langford's calculi of propositions
• On formal and informal provability
• Outline of a Theory of Truth
• Provability in principle and controversial constructivistic principles
• Provability interpretations of modal logic
• Reflecting in epistemic arithmetic
• Why Do We Prove Theorems?

Cited in

(10)

• Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules
• scientific article; zbMATH DE number 4055575 (Why is no real title available?)
• Many-valued logic of informal provability: a non-deterministic strategy
• Finite-Variable Logics Do Not Have Weak Beth Definability Property
• Proof systems for BAT consequence relations
• Logic of informal provability with truth values
• Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability
• A Gödel-Dugundji-style theorem for the minimal structural logic
• Nondeterministic first-order T-BAT logic
• Boolean and modal connectives as primitives in non-deterministic semantics

This page was built for publication: Non-deterministic logic of informal provability has no finite characterization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2071578)