A note on Hájek, Paris and Shepherdson's theorem (Q5693116)
From MaRDI portal
scientific article; zbMATH DE number 2210177
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on Hájek, Paris and Shepherdson's theorem |
scientific article; zbMATH DE number 2210177 |
Statements
A note on Hájek, Paris and Shepherdson's theorem (English)
0 references
28 September 2005
0 references
truth predicate
0 references
nonstandard natural number
0 references
Tarskian semantics
0 references
set theory with comprehension principle
0 references
Łukasiewicz's infinite-valued predicate logic
0 references
Russell-like paradox for many-valued logic
0 references
