MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994)
From MaRDI portal
scientific article; zbMATH DE number 6914162
Language | Label | Description | Also known as |
---|---|---|---|
English | MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY |
scientific article; zbMATH DE number 6914162 |
Statements
MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (English)
0 references
7 August 2018
0 references
informal provability
0 references
many-valued logic
0 references
non-deterministic semantics
0 references
Löb's theorem
0 references
paradoxes of provability
0 references