The future of logic: foundation-independence (Q263104)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The future of logic: foundation-independence |
scientific article |
Statements
The future of logic: foundation-independence (English)
0 references
4 April 2016
0 references
MMT
0 references
logical declarations
0 references
theory
0 references
theory morphism
0 references
syntax
0 references
model theory
0 references
proof theory
0 references
parsing
0 references
presentation
0 references
type reconstruction
0 references
knowledge management
0 references
user interface
0 references
search
0 references
