Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorzskoda
   • CommentTimeMay 31st 2012
   • PermaLink
   Author: zskoda
   Format: MarkdownItexWe already have the entry [[predicate calculus]] (or first-order logic); I have created separate stub [[first-order theory]], almost empty now, and which could just have been redirect to [[first-order logic]], though I think eventually it would be good to have them separate, as under [[first-order theories]] version one could list lots of standard examples of first-order theories, what does not really fit into predicate logic entry, where one should really deal more with predicate calculus. PLus one should do other views of first-order theories.

   We already have the entry predicate calculus (or first-order logic); I have created separate stub first-order theory, almost empty now, and which could just have been redirect to first-order logic, though I think eventually it would be good to have them separate, as under first-order theories version one could list lots of standard examples of first-order theories, what does not really fit into predicate logic entry, where one should really deal more with predicate calculus. PLus one should do other views of first-order theories.