, , AND REINHARDT’S PROGRAM (Q5880422)
From MaRDI portal
scientific article; zbMATH DE number 7658881
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | , , AND REINHARDT’S PROGRAM |
scientific article; zbMATH DE number 7658881 |
Statements
, , AND REINHARDT’S PROGRAM (English)
0 references
2 March 2023
0 references
KF and PKF
0 references
Reinhardt's program
0 references
classical and non-classical logic
0 references
