From Semantic Web Technologies

Jump to: navigation, search
(Logic)
 
Line 3: Line 3:
of [[Foundations of Semantic Web Technologies]]:
of [[Foundations of Semantic Web Technologies]]:
-
"In this appendix, we very briefly recall some logical foundations which are
+
<blockquote>In this appendix, we very briefly recall some logical foundations which are
needed for our discussions of formal semantics. We will completely introduce
needed for our discussions of formal semantics. We will completely introduce
syntax and semantics of first-order predicate logic, but will refrain from doing
syntax and semantics of first-order predicate logic, but will refrain from doing
-
formal proofs or extended examples."
+
formal proofs or extended examples.</blockquote>
== Contents ==
== Contents ==
Line 13: Line 13:
* Semantics  
* Semantics  
* Proof Theory and Decidability
* Proof Theory and Decidability
 +
{{vspace}}

Current revision as of 18:15, 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