User:IssaRice/Computability and logic/List of possibilities for completeness and decidability

From Machinelearning
< User:IssaRice
Revision as of 19:35, 20 February 2019 by IssaRice (talk | contribs) (Created page with "{| class="sortable wikitable" |- ! Decidable logic? !! Complete logic? (semantic completeness) !! Decidable theory? !! Complete theory? (negation-completeness) !! Example or p...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Decidable logic? Complete logic? (semantic completeness) Decidable theory? Complete theory? (negation-completeness) Example or proof of non-existence
Yes Yes Yes Yes
Yes Yes Yes No
Yes Yes No Yes
Yes Yes No No
Yes No Yes Yes
Yes No Yes No
Yes No No Yes
Yes No No No
No Yes Yes Yes
No Yes Yes No
No Yes No Yes
No Yes No No
No No Yes Yes
No No Yes No
No No No Yes
No No No No