The logic of a creative subject: conservativism versus intuitionistic predicate calculus (Q3125926)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The logic of a creative subject: conservativism versus intuitionistic predicate calculus |
scientific article |
Statements
The logic of a creative subject: conservativism versus intuitionistic predicate calculus (English)
0 references
6 May 1997
0 references
extensions of Heyting predicate calculus
0 references
creative subject
0 references
conservativeness
0 references
