Natural deduction

MaRDI QIDQ1577346zbMATH OpenFDO

Authors

Publication date 3 January 2001

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Natural deductionSpecial issue

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Review text

The articles of this volume will be reviewed individually. This special issue is devoted to papers concerned with proof search, transformation, and presentation using systems of natural deduction. The topics include: Systems of natural deduction for classical, intuitionistic, modal, linear and other logics and their properties; Automated proof search procedures based on natural deduction; Presentation and transformations of proofs in natural deduction and related formats; Educational applications.

Recommendations

• Natural deduction, hybrid systems and modal logics
• Natural deduction in normal modal logic
• scientific article; zbMATH DE number 3275554
• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
• Mechanizing Mathematical Reasoning

Cited in

(14)

• Natural deduction and arbitrary objects
• Language and proof theory. Preface to the special issue on ``Proof theory and natural language
• Human-centered automated proof search
• Normality, non-contamination and logical depth in classical natural deduction
• The naturality of natural deduction
• A Brief History of Natural Deduction
• NDK and natural reasoning
• Natural implication and modus ponens principle
• Contextual Natural Deduction
• scientific article; zbMATH DE number 2015404 (Why is no real title available?)
• Natural deduction as higher-order resolution
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• Natural proofs
• Natural deduction and Curry's paradox

This page was built for publication: Natural deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1577346)