Natural deduction (Q1577346)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1501373
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Natural deduction |
scientific article; zbMATH DE number 1501373 |
Statements
Natural deduction (English)
0 references
3 January 2001
0 references
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.
0 references
Natural deduction
0 references
Special issue
0 references
0.7800959348678589
0 references
0.7641065716743469
0 references
0.7560952305793762
0 references
0.7557621598243713
0 references
