ADC method of proof search for intuitionistic propositional natural deduction (Q2804335)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: ADC method of proof search for intuitionistic propositional natural deduction |
scientific article; zbMATH DE number 6575046
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ADC method of proof search for intuitionistic propositional natural deduction |
scientific article; zbMATH DE number 6575046 |
Statements
ADC method of proof search for intuitionistic propositional natural deduction (English)
0 references
28 April 2016
0 references
natural deduction
0 references
intuitionistic logic
0 references
polynomial decidability
0 references
0.8951326
0 references
0.88106346
0 references
0.8708819
0 references
0.8678671
0 references
0 references
0.85685575
0 references
0.8550875
0 references
0.85313624
0 references
