Вполне-определённые логики (Q5882769)
From MaRDI portal
scientific article; zbMATH DE number 7664475
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Вполне-определённые логики |
scientific article; zbMATH DE number 7664475 |
Statements
Вполне-определённые логики (English)
0 references
17 March 2023
0 references
deduction-detachment theorem
0 references
weak deduction theorem
0 references
deductive set
0 references
well-determined logic deductive set
0 references
entailment system
0 references
