INFINITARY TABLEAU FOR SEMANTIC TRUTH (Q5259720)
From MaRDI portal
scientific article; zbMATH DE number 6451724
Language | Label | Description | Also known as |
---|---|---|---|
English | INFINITARY TABLEAU FOR SEMANTIC TRUTH |
scientific article; zbMATH DE number 6451724 |
Statements
INFINITARY TABLEAU FOR SEMANTIC TRUTH (English)
0 references
29 June 2015
0 references
theories for truth
0 references
strong Kleene
0 references
van Fraassen supervaluation
0 references
Cantini supervaluation
0 references
computational complexity
0 references
closure ordinal
0 references