Undecidability of the Logic of Partial Quasiary Predicates (Q5092565)
From MaRDI portal
scientific article; zbMATH DE number 7561917
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidability of the Logic of Partial Quasiary Predicates |
scientific article; zbMATH DE number 7561917 |
Statements
Undecidability of the Logic of Partial Quasiary Predicates (English)
0 references
22 July 2022
0 references
logic of parital quasiary predicates
0 references
undecidability
0 references
recursive enumerability
0 references
satisfiability problem
0 references
validity problem
0 references
