Lewisian fixed points. I: Two incomparable constructions (Q6612808)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Lewisian fixed points. I: Two incomparable constructions |
scientific article; zbMATH DE number 7920705
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lewisian fixed points. I: Two incomparable constructions |
scientific article; zbMATH DE number 7920705 |
Statements
Lewisian fixed points. I: Two incomparable constructions (English)
0 references
1 October 2024
0 references
provability logic
0 references
fixed points
0 references
Lewis arrow
0 references
constructivism
0 references