Syntactical truth predicates for formulas with atomic negation (Q4331078)
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 1740586
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Syntactical truth predicates for formulas with atomic negation |
scientific article; zbMATH DE number 1740586 |
Statements
Syntactical truth predicates for formulas with atomic negation (English)
0 references
2002
0 references
second-order arithmetic
0 references
implicational language
0 references
syntactical truth predicate
0 references
0.815111517906189
0 references
0.7254483699798584
0 references
0.7204936742782593
0 references
0.7156712412834167
0 references
0.7033674120903015
0 references
