Results 11 to 20 of about 205,593 (312)
Another system of natural deduction. [PDF]
Notre Dame Journal of Formal Logic, 1975 Herbert E. Hendry
openaire +4 more sources
Enhancing cybersecurity through autonomous knowledge graph construction by integrating heterogeneous data sources [PDF]
PeerJ Computer ScienceCybersecurity plays a critical role in today’s modern human society, and leveraging knowledge graphs can enhance cybersecurity and privacy in the cyberspace.
Hatoon Alharbi +3 more
doaj +3 more sources
A note on natural deduction. [PDF]
Notre Dame Journal of Formal Logic, 1974 Alex Blum
openaire +3 more sources
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
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
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 +1 more source
Gödel’s Natural Deduction [PDF]
Studia Logica, 2017 22 ...
Kosta Došen, Miloš Adžić
openaire +4 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 +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 +3 more sources
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