FO-dot
latest

Contents

  • Introduction
  • Rationale
  • Notation
  • FO[Core]
  • FO[Sugar]
  • FO[ID]
  • FO[Int]
  • FO[Real]
  • FO[Agg]
  • FO[Infinite]
  • FO[Concept]
  • FO[PF] ?
  • FO[Unit] ?
  • FO[·]
  • Bibliography
  • Index
FO-dot
  • »
  • Index
  • Edit on GitLab

Index

Symbols | B | D | F | K | P | R | S | T | V

Symbols

  • "in" operator

B

  • Binary quantification

D

  • Direct quantification

F

  • FO[Agg]
  • FO[Concept]
  • FO[Core]
  • FO[ID]
  • FO[Infinite]
  • FO[Int]
  • FO[PF]
  • FO[Real]
  • FO[Sugar]
  • FO[Unit]
  • FO[·]

K

  • Knowledge Base

P

  • Partial interpretation

R

  • Range

S

  • Structure block

T

  • Theory block
  • Type declaration
  • Type inference

V

  • Variable declaration
  • Vocabulary block

© Copyright 2022, Pierre Carbonnelle, Marc Denecker. Revision be09bae9.

Built with Sphinx using a theme provided by Read the Docs.
Read the Docs v: latest
Versions
latest
Downloads
pdf
On Read the Docs
Project Home
Builds