Results 11 to 20 of about 108,430 (261)
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
A proof theory for generic judgments: an extended abstract [PDF]
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings., 2003 A powerful and declarative means of specifying computations containing abstractions involves meta-level, universally quantified generic judgments. We present a proof theory for such judgments in which signatures are associated to each sequent (used to account for eigenvariables of sequent) and to each formula in the sequent (used to account for generic
Dale Miller 0001, Alwen Fernanto Tiu
openaire +1 more source
Towards a group theoretical proof of the Frobenius theorem [PDF]
Journal of Mahani Mathematical ResearchThe Frobenius finite group was defined by Frobenius more than 100 years ago to be a group with a non-trivial proper subgroup $H$ whose intersection with all of its conjugates is the trivial group.
Mohammad Reza Darafsheh
doaj +1 more source
PROOFTOOL: a GUI for the GAPT Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper introduces PROOFTOOL, the graphical user interface for the General Architecture for Proof Theory (GAPT) framework. Its features are described with a focus not only on the visualization but also on the analysis and transformation of proofs and ...
Cvetan Dunchev +6 more
doaj +1 more source
Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix [PDF]
Logical Methods in Computer Science, 2020 This paper establishes a bridge between linear logic and mainstream graph theory, building on previous work by Retor\'e (2003). We show that the problem of correctness for MLL+Mix proof nets is equivalent to the problem of uniqueness of a perfect ...
Lê Thành Dũng Nguyên
doaj +1 more source
A more general general proof theory
Journal of Applied Logic, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
The zeroth law of black hole thermodynamics in arbitrary higher derivative theories of gravity
Journal of High Energy Physics, 2022 We consider diffeomorphism invariant theories of gravity with arbitrary higher derivative terms in the Lagrangian as corrections to the leading two derivative theory of Einstein’s general relativity.
Sayantani Bhattacharyya +3 more
doaj +1 more source
The Fundamental Problem of General Proof Theory [PDF]
Studia Logica, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Characterization of incentive compatible single-parameter mechanisms revisited
Journal of Mechanism and Institution Design, 2022 We reexamine the characterization of incentive compatible single-parameter mechanisms introduced in Archer and Tardos (2001). We argue that the claimed uniqueness result, called 'Myerson's Lemma' was not well established.
Krzysztof R. Apt, Jan Heering
doaj +1 more source
A Theory for Abstract Reduction Systems in PVS
CLEI Electronic Journal, 2008 A theory for Abstract Reduction Systems (ARS) in the proof assistant PVS (Prototype Verification System) called ars is described. Adequate specifications of basic definitions and notions of the theory of ARSs such as reduction, confluence and normal form
Andre Luiz Galdino +1 more
doaj +1 more source