Nondeterministic first-order T-BAT logic

DOI10.1093/JIGPAL/JZAG028MaRDI QIDQ7256537zbMATH OpenFDO

Authors Pawel Pawlowski, Laura Katherin Jimenez-Cuadros

Publication date 2 June 2026

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAG028

zbMATH Keywords

informal provabilitymathematical practicenondeterministic logicprovability values

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• 8 valued non-deterministic semantics for modal logics
• and in eight-valued non-deterministic semantics for modal logics
• A new “feasible” arithmetic
• A non-deterministic view on non-classical negations
• A note on Ciuciura's \(\mathbf{mbC}^1\)
• A note on syntactical treatments of modality
• A problem with the dependence of informal proofs on formal proofs
• A semantics for a failed axiomatization of \textsf{K}
• Axiomatic theories of truth
• Distance-based non-deterministic semantics for reasoning with uncertainty
• Epistemic and intuitionistic formal systems
• Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Formalizing Church's thesis
• Generalization of Kalmar's method for quasi-matrix logic
• Gödel’s Disjunction
• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 2134000 (Why is no real title available?)
• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• scientific article; zbMATH DE number 3950520 (Why is no real title available?)
• scientific article; zbMATH DE number 3970744 (Why is no real title available?)
• scientific article; zbMATH DE number 3995667 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• scientific article; zbMATH DE number 3190337 (Why is no real title available?)
• scientific article; zbMATH DE number 4187771 (Why is no real title available?)
• Informal proofs and mathematical rigour
• Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability
• Intuitionist logic, a logic of justification
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• Logic of informal provability with truth values
• Logic of proofs
• Many-valued logic of informal provability: a non-deterministic strategy
• Modal semantics without possible worlds
• Modal-epistemic arithmetic and the problem of quantifying in
• Modal-epistemic variants of Shapiro's system of epistemic arithmetic
• Multi-valued semantics: why and how
• Non-deterministic logic of informal provability has no finite characterization
• Non-deterministic Multiple-valued Structures
• On formal and informal provability
• On non-deterministic quantification
• Outline of a Theory of Truth
• Philosophy and model theory
• Proof systems for BAT consequence relations
• Provability in principle and controversial constructivistic principles
• Quasi-truth-functional systems of propositional logic
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Reflecting in epistemic arithmetic
• Rigor and formalization
• RNmatrices for modal logics
• Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics
• Some properties of epistemic set theory with collection
• The equivalence of the disjunction and existence properties for modal arithmetic
• Toward predicate approaches to modality
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Why Do We Prove Theorems?

This page was built for publication: Nondeterministic first-order T-BAT logic

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