Results 11 to 20 of about 1,842,228 (287)
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 +8 more sources
A more general general proof theory
Journal of Applied Logic, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heinrich Wansing
exaly +6 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
General Proof Theory: Introduction [PDF]
Studia Logica, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Thomas Piecha, Peter Schroeder-Heister
openaire +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
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
Naturalized Epistemology and the Law of Evidence: Methodological Reflections
Quaestio Facti, 2021 This paper discusses Ronald Allen’s article, Naturalized Epistemology and the Law of Evidence Revisited, and reflects on how epistemology can contribute to our understanding of the evidentiary proof process.
Michael S. Pardo
doaj +1 more source