Double-Negation Elimination in Some Propositional Logics
, 2002 This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the form n(n(t)) for some term t,
Beeson, Michael +2 more
core +1 more source
Number theory, borderline dimension and extensive entropy in distributions of ranked data. [PDF]
PLoS One, 2022 Velarde C, Robledo A.
europepmc +1 more source
Perspectives for proof unwinding by programming languages techniques [PDF]
, 2016 In this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory.
Ilik, Danko
core +3 more sources
Genomic Intelligence as Über Bio-Cybersecurity: The Gödel Sentence in Immuno-Cognitive Systems. [PDF]
Entropy (Basel), 2021 Markose SM.
europepmc +1 more source
Strengthening convex relaxations of 0/1-sets using Boolean formulas. [PDF]
Math Program, 2021 Fiorini S, Huynh T, Weltge S.
europepmc +1 more source
Machine Learning Guidance for Connection Tableaux. [PDF]
J Autom Reason, 2021 Färber M, Kaliszyk C, Urban J.
europepmc +1 more source
The complexity of verifying population protocols. [PDF]
Distrib Comput, 2021 Esparza J +3 more
europepmc +1 more source
A Boolean-based machine learning framework identifies predictive biomarkers of HSP90-targeted therapy response in prostate cancer. [PDF]
Front Mol Biosci, 2023 Shin SY +6 more
europepmc +1 more source
Austrian economics without extreme apriorism: construing the fundamental axiom of praxeology as analytic. [PDF]
Synthese, 2021 Linsbichler A.
europepmc +1 more source