Results 31 to 40 of about 13,404,605 (326)
A proof of strong normalisation using domain theory [PDF]
Logical Methods in Computer Science, 2007 Ulrich Berger presented a powerful proof of strong normalisation using domains, in particular it simplifies significantly Tait's proof of strong normalisation of Spector's bar recursion.
Thierry Coquand, Arnaud Spiwack
doaj +1 more source
Integrability of Liouville theory: proof of the DOZZ formula [PDF]
Annals of Mathematics, 2017 Dorn and Otto (1994) and independently Zamolodchikov and Zamolodchikov (1996) proposed a remarkable explicit expression, the so-called DOZZ formula, for the 3 point structure constants of Liouville Conformal Field Theory (LCFT), which is expected to ...
A. Kupiainen +2 more
semanticscholar +1 more source
Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School
Journal of World Philosophies, 2017 The Mīmāṃsā school of Indian philosophy elaborated complex ways of interpreting the prescriptive portions of the Vedic sacred texts. The present article is the result of the collaboration of a group of scholars of logic, computer science, European ...
Elisa Freschi, +3 more
doaj +1 more source
Stoic Sequent Logic and Proof Theory
History and Philosophy of Logic, 2019 This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen ...
Susanne Bobzien
semanticscholar +1 more source
A proof-theoretic approach to scope ambiguity in compositional vector space models
Journal of Language Modelling, 2019 We investigate the extent to which compositional vector space models can be used to account for scope ambiguity in quantified sentences (of the form Every man loves some woman).
Gijs Wijnholds
doaj +1 more source
A proof-theoretic analysis of the classical propositional matrix method [PDF]
, 2014 The matrix method, due to Bibel and Andrews, is a proof procedure designed for automated theorem-proving. We show that underlying this method is a fully structured combinatorial model of conventional classical proof theory.
Ritter, E +5 more
core +1 more source
, 2021 This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view.
Stefania Centrone +14 more
core +1 more source
A Proof Theory for Model Checking: An Extended Abstract [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking.
Quentin Heath, Dale Miller
doaj +1 more source
Pascal’s Wager, Is the theory of Rationality a proof? [PDF]
حکمت و فلسفه, 2010 There is no agreement about Pascal’s purpose of suggesting his “Wager.” Is Pascal after presenting a logical reason or merely invites others to his spiritual intimacy? Is his addressee Atheist or his purpse is strengthening Christian faith?
mohammad mohammad rezai +1 more
doaj +1 more source
RETRACTED: Tax procedural proof: problems of theory and practice
Правоприменение, 2022 RETRACTED ARTICLEThe subject of this study is the legal norms contained in legislation, other legal acts, as well as materials of law enforcement practice that determine the specifics of tax procedural evidence.
I. V. Glazunova, D. S. Sheptunov
doaj +1 more source