Results 1 to 10 of about 4,442,858 (282)
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont [PDF]
Journal of Intelligent Systems, 2012 This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics.
Bolotov Alexander, Shangin Vasilyi
doaj +3 more sources
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015 We introduce a Hyper Natural Deduction system as an extension of Gentzen's Natural Deduction system. A Hyper Natural Deduction consists of a finite set of derivations which may use, beside typical Natural Deduction rules, additional rules providing means for communication between derivations. We show that our Hyper Natural Deduction system is sound and
Arnold Beckmann, Norbert Preining
exaly +4 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
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 +3 more sources
Gödel’s Natural Deduction [PDF]
Studia Logica, 2017 22 ...
Kosta Dosen, Milos Adzic
openaire +6 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 +1 more source
A Classification of Improper Inference Rules
Bulletin of the Section of Logic, 2022 In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones.
Katsumi Sasaki
doaj +1 more source
The Naturality of Natural Deduction [PDF]
Studia Logica, 2017 Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic second order logic $NI^2$.
Luca Tranchini +2 more
openaire +4 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 +1 more source
A Sequent Systems without Improper Derivations
Bulletin of the Section of Logic, 2022 In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper, and others proper. Improper inference rules are
Katsumi Sasaki
doaj +1 more source