PURE LOGIC OF ITERATED FULL GROUND (Q4961738)
From MaRDI portal
scientific article; zbMATH DE number 6965267
Language | Label | Description | Also known as |
---|---|---|---|
English | PURE LOGIC OF ITERATED FULL GROUND |
scientific article; zbMATH DE number 6965267 |
Statements
PURE LOGIC OF ITERATED FULL GROUND (English)
0 references
25 October 2018
0 references
ground
0 references
iterated ground
0 references
explanation
0 references
logic of ground
0 references
inversion principle
0 references
natural deduction
0 references