| dbo:description
|
- fragment of first-order logic (en)
- Розділ математичної логіки (uk)
|
| dbo:wikiPageWikiLink
| |
| dbp:date
| |
| dbp:reason
|
- Not obvious, given that monadic function letters can be interpreted as a special kind of binary relation symbols. So it is definitely not obvious that allowing only special binary relations would retain decidability but allowing all binary relations would lead to undecidability. A citation or an explanation could be helpful. (en)
- Presumably "predicates" is used here synonymously with "relations"? If so, it would be good to state that explicitly given that the synonymy of "relation" and "predicate" is not necessarily inherently obvious without background knowledge. (en)
- Presumably throughout this article "relation" and "relation symbols" are used synonymously with "predicate" and "predicate symbols", given that this is common practice in some sources. However, if the article is going to use this terminological convention, it would be helpful to readers without background knowledge to state so explicitly. All the more so given that the name of the subject/article is "monadic _predicate_ calculus" and the article talks primarily about "monadic _relations_" instead of "monadic _predicates_" -- this is unnecessarily confusing for readers without background knowledge. (en)
- Is "unary predicate" a synonym of "monadic predicate" or "monadic relation"? I assume so, but it's never stated explicitly. (en)
|
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:label
|
- Monadic predicate calculus (en)
- Logique monadique du premier ordre (fr)
- Lógica de segunda ordem monádica (pt)
- Числення одномісних предикатів (uk)
- 一元谓词演算 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
