On the construction of fully interpreted formal languages which posses their truth predicates (Q2968137)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6693762
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the construction of fully interpreted formal languages which posses their truth predicates |
scientific article; zbMATH DE number 6693762 |
Statements
9 March 2017
0 references
language
0 references
formal
0 references
fully interpreted
0 references
sentence
0 references
Gödel number
0 references
truth predicate
0 references
fixed point
0 references
0.7639426589012146
0 references
0.7513921856880188
0 references
0.7248013019561768
0 references
0.719279944896698
0 references
