Results 1 to 10 of about 4,157,986 (203)
Natural Deduction Assistant (NaDeA) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present the Natural Deduction Assistant (NaDeA) and discuss its advantages and disadvantages as a tool for teaching logic. NaDeA is available online and is based on a formalization of natural deduction in the Isabelle proof assistant. We first provide
Jørgen Villadsen +2 more
doaj +5 more sources
Natural Deduction and the Isabelle Proof Assistant [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We describe our Natural Deduction Assistant (NaDeA) and the interfaces between the Isabelle proof assistant and NaDeA. In particular, we explain how NaDeA, using a generated prover that has been verified in Isabelle, provides feedback to the student, and
Jørgen Villadsen +2 more
doaj +7 more sources
Acquisition of Phrase Correspondences Using Natural Deduction Proofs [PDF]
North American Chapter of the Association for Computational Linguistics, 2018 How to identify, extract, and use phrasal knowledge is a crucial problem for the task of Recognizing Textual Entailment (RTE). To solve this problem, we propose a method for detecting paraphrases via natural deduction proofs of semantic relations between
Hitomi Yanaka +3 more
core +5 more sources
Structural Rules in Natural Deduction with Alternatives
Bulletin of the Section of Logic, 2023 Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives.
Greg Restall
doaj +2 more sources
Natural Language Deduction with Incomplete Information [PDF]
Conference on Empirical Methods in Natural Language Processing, 2022 A growing body of work studies how to answer a question or verify a claim by generating a natural language “proof:” a chain of deductive inferences yielding the answer based on a set of premises. However, these methods can only make sound deductions when
Zayne Sprague +3 more
semanticscholar +5 more sources
Natural Deduction and Normalization Proofs for the Intersection Type Discipline [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Refining and extending previous work by Retoré, we develop a systematic approach to intersection types via natural deduction. We show how a step of beta reduction can be seen as performing, at the level of typing derivations, Prawitz reductions in ...
Federico Aschieri
doaj +3 more sources
Non-idempotent types for classical calculi in natural deduction style [PDF]
Logical Methods in Computer Science, 2020 In the first part of this paper, we define two resource aware typing systems for the {\lambda}{\mu}-calculus based on non-idempotent intersection and union types.
Delia Kesner, Pierre Vial
doaj +3 more sources
The Laws of Natural Deduction in Inference by DNA Computer [PDF]
The Scientific World Journal, 2014 We present a DNA-based implementation of reaction system with molecules encoding elements of the propositional logic, that is, propositions and formulas.
Łukasz Rogowski, Petr Sosík
doaj +2 more sources
Determining Semantic Textual Similarity using Natural Deduction Proofs [PDF]
Conference on Empirical Methods in Natural Language Processing, 2017 Determining semantic textual similarity is a core research subject in natural language processing. Since vector-based models for sentence representation often use shallow information, capturing accurate semantics is difficult.
Bekki, Daisuke +3 more
core +2 more sources
Improving legibility of natural deduction proofs is not trivial [PDF]
Logical Methods in Computer Science, 2014 In formal proof checking environments such as Mizar it is not merely the validity of mathematical formulas that is evaluated in the process of adoption to the body of accepted formalizations, but also the readability of the proofs that witness validity ...
Karol Pąk
doaj +3 more sources