From Semantic Web Technologies

Jump to: navigation, search
(Created page with 'From Appendix C = Logic = of Foundations of Semantic Web Technologies:')
(Logic)
Line 2: Line 2:
= Logic =
= Logic =
of [[Foundations of Semantic Web Technologies]]:
of [[Foundations of Semantic Web Technologies]]:
 +
 +
"In this appendix, we very briefly recall some logical foundations which are
 +
needed for our discussions of formal semantics. We will completely introduce
 +
syntax and semantics of first-order predicate logic, but will refrain from doing
 +
formal proofs or extended examples."
 +
 +
== Contents ==
 +
 +
* Syntax
 +
* Semantics
 +
* Proof Theory and Decidability

Revision as of 16:01, 13 June 2009

From Appendix C

Logic

of Foundations of Semantic Web Technologies:

"In this appendix, we very briefly recall some logical foundations which are needed for our discussions of formal semantics. We will completely introduce syntax and semantics of first-order predicate logic, but will refrain from doing formal proofs or extended examples."

Contents

  • Syntax
  • Semantics
  • Proof Theory and Decidability