Results 31 to 40 of about 7,429,852 (332)
Reduction Free Normalisation for a proof irrelevant type of propositions [PDF]
Logical Methods in Computer Science, 2023 We show normalisation and decidability of convertibility for a type theory with a hierarchy of universes and a proof irrelevant type of propositions, close to the type system used in the proof assistant Lean.
Thierry Coquand
doaj +1 more source
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
The Fundamental Problem of General Proof Theory
Studia Logica: An International Journal for Symbolic Logic, 2019 I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory.
D. Prawitz
semanticscholar +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
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
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 Communication Proof Equilibrium Concept [PDF]
, 1996 This paper proposes an equilibrium concept for the classes of environments in which players can communicate with each other but cannot make binding agreements.
Ferreira, José Luis
core +2 more sources
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 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