User:IssaRice/Computability and logic/Logic versus theory

From Machinelearning
< User:IssaRice
Revision as of 20:56, 9 February 2019 by IssaRice (talk | contribs) (Created page with "Many terms in mathematical logic apply to both logics and to theories. In these cases, the terms mean different things depending on what object it applies to. {| class="wikit...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Many terms in mathematical logic apply to both logics and to theories. In these cases, the terms mean different things depending on what object it applies to.

Term Meaning for logic Meaning for theory
Sound
Complete
Decidable
Defines/expresses
Retrieved from "https://machinelearning.subwiki.org/w/index.php?title=User:IssaRice/Computability_and_logic/Logic_versus_theory&oldid=1580"