Results 1 to 10 of about 108,430 (261)
General Proof Theory: Introduction [PDF]
Studia Logica, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Thomas Piecha, Peter Schroeder-Heister
exaly +2 more sources
Development and proof-of-concept of a complex intervention to support appropriate imaging for musculoskeletal pain: the Betti programme [PDF]
Implementation Science CommunicationsBackground Inappropriate diagnostic imaging for musculoskeletal pain is common and causes patient harm and unnecessary costs. Existing interventions frequently target single conditions and stakeholders and show limited integration into routine ...
Nicole Lindner +7 more
doaj +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
Goal Translation for a Hammer for Coq (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no hammers for such systems.
Łukasz Czajka, Cezary Kaliszyk
doaj +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
Burden of proof for the illegal immissions as prerequisite of in rem removal claim [PDF]
Zbornik Radova: Pravni Fakultet u Novom Sadu, 2013 The paper examines the question of the burden of proof for the facts that imply illegal immission as prerequisite of in rem removal claim. The approach is different to the standard doctrine and it is in according to the general rule of the burden of ...
Knežević Marko
doaj +1 more source
PEMBUKTIAN TERBALIK KASUS TINDAK PIDANA KORUPSI DALAM PERSPEKTIF HAK ASASI MANUSIA
Adliya, 2021 Corruption is considered a great crime and requires special handling. In handling corruption, special handling is needed by using the proof reversed or reversal of the burden of proof but in a balanced manner. The purpose of this study is to explain the
Hasuri Hasuri, Mia Mukaromah
doaj +1 more source
Pseudorandom generators, measure theory, and natural proofs [PDF]
Proceedings of IEEE 36th Annual Foundations of Computer Science, 2002 We prove that if strong pseudorandom number generators exist, then the class of languages that have polynomial-sized circuits (P/poly) is not measurable within exponential time, in terms of the resource-bounded measure theory of Lutz. We prove our result by showing that if P/poly has measure zero in exponential time, then there is a natural proof ...
Kenneth W. Regan +2 more
openaire +2 more sources