Results 41 to 50 of about 13,404,605 (326)
Some remarks on proof-theoretic semantics [PDF]
, 2015 This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
Structural Proof Theory as Rewriting [PDF]
, 2006 The multiary version of the λ-calculus with generalized applications integrates smoothly both a fragment of sequent calculus and the system of natural deduction of von Plato. It is equipped with reduction rules (corresponding to cut-elimination/normalisation rules) and permutation rules, typical of sequent calculus and of natural deduction with ...
José Espírito Santo +2 more
openaire +3 more sources
Quantification in Ordinary Language and Proof Theory
Philosophia Scientiæ, 2016 This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data. We
Michele Abrusci +2 more
doaj +1 more source
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks
European Conference on Artificial Intelligence, 2016 Given a logic-based argumentation framework built over a knowledge base in a logical language and a query in that language. The query is universally accepted if it is entailed from all extensions.
Abdallah Arioua, Madalina Croitoru
semanticscholar +1 more source
Existential Foundherentism of Mulla Sadra in the Justification Element [PDF]
حکمت معاصر, 2018 The truth of knowledge was considered by western philosophers and epistemologists long time ago unclear sentence. They were mostly foundationalists or coherentists in the justification element.
Morteza Hosseinzadeh +2 more
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
, 2018 Proof theory is a branch of mathematical logic founded by David Hilbert around 1920 to pursue Hilbert’s programme. The problems addressed by the programme had already been formulated, in some sense, at the turn of the century, for example, in Hilbert’s famous address to the First International Congress of Mathematicians in Paris.
+5 more sources
A Syntactic Proof of the Decidability of First-Order Monadic Logic
Bulletin of the Section of LogicDecidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj +1 more source
Bulletin of Symbolic Logic, 2004 AbstractPaul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic.
openaire +3 more sources
PROOF THEORY OF WEAK COMPACTNESS [PDF]
Journal of Mathematical Logic, 2013 We show that the existence of a weakly compact cardinal over the Zermelo–Fraenkel's set theory ZF is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.
openaire +4 more sources