Results 11 to 20 of about 17,271 (293)
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 +3 more sources
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
Peirce's Rule in Natural Deduction
Theoretical Computer Science, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ernst Zimmermann
exaly +4 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
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
Gödel’s Natural Deduction [PDF]
Studia Logica, 2017 22 ...
Kosta Dosen, Milos Adzic
openaire +5 more sources
Experiments in linear natural deduction
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
MARTINI S., MASINI, Andrea
openaire +4 more sources
Adjoint Natural Deduction. [PDF]
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has been defined in the form of a sequent calculus because the central concept of independence is most clearly understood
Junyoung Jang 0001 +3 more
openaire +4 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