Results 11 to 20 of about 2,494,307 (343)
A coding theory foundation for the analysis of general unconditionally secure proof-of-retrievability schemes for cloud storage [PDF]
Journal of Mathematical Cryptology, 2013 There has been considerable recent interest in “cloud storage” wherein a user asks a server to store a large file. One issue is whether the user can verify that the server is actually storing the file, and typically a challenge-response protocol is ...
Paterson Maura B. +2 more
doaj +2 more sources
Skirmishing Toward a General Theory of Evidence and Proof
The International Journal of Evidence & ProofTraditional probability fundamentally assumes bivalence and additivity: there is only truth and falsity, whose odds add to one. The consequence is many problems and paradoxes for factfinding, all attributable to the assumptions’ exclusive focus on random uncertainty. By contrast, multivalent belief theory abjures those two assumptions, thereby allowing
Kevin M. Clermont
+4 more sources
A General Theory of Completeness Proofs
Annals of the Japan Association for Philosophy of Science, 1970 Sh ocirc ji MAEHARA
openalex +4 more sources
Toward a General Theory of Evidence and Proof: Probability v. Conviction
SSRN Electronic Journal, 2023 Kevin M. Clermont
openalex +2 more sources
Fractional-Valued Modal Logic and Soft Bilateralism
Bulletin of the Section of Logic, 2023 In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].
Mario Piazza +2 more
doaj +1 more source
A new proof of Nishioka’s theorem in Mahler’s method
Comptes Rendus. Mathématique, 2023 In a recent work [3], the authors established new results about general linear Mahler systems in several variables from the perspective of transcendental number theory, such as a multivariate extension of Nishioka’s theorem.
Adamczewski, Boris, Faverjon, Colin
doaj +1 more source
Following all the rules: intuitionistic completeness for generalized proof-theoretic validity [PDF]
Analysis, 2022 Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution.
W. Stafford, Victor Nascimento
semanticscholar +1 more source
The five gradients inequality for non quadratic costs
Comptes Rendus. Mathématique, 2023 We give a proof of the “five gradients inequality” of Optimal Transportation Theory for general costs of the form $c(x,y)=h(x-y)$ where $h$ is a $C^1$ strictly convex radially symmetric function.
Caillet, Thibault
doaj +1 more source
Importing SMT and Connection proofs as expansion trees [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Different automated theorem provers reason in various deductive systems and, thus, produce proof objects which are in general not compatible. To understand and analyze these objects, one needs to study the corresponding proof theory, and then study the ...
Giselle Reis
doaj +1 more source