Deformalization as the immanent part of logical solving (Q5124222)
From MaRDI portal
scientific article; zbMATH DE number 7249156
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deformalization as the immanent part of logical solving |
scientific article; zbMATH DE number 7249156 |
Statements
Deformalization as the immanent part of logical solving (English)
0 references
17 September 2020
0 references
applied logics
0 references
formalization
0 references
deformalization
0 references
translation from logical languages
0 references
methodological conclusions
0 references
pedagogic conclusions
0 references
