### From Semantic Web Technologies

(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