A characterization theorem for geometric logic.
Olivia CaramelloPublished in: Ann. Pure Appl. Log. (2011)
Keyphrases
- intuitionistic logic
- logic programming
- multi valued
- proof theory
- geometric constraints
- database
- d objects
- modal logic
- probability theory
- probabilistic logic
- classical logic
- interactive theorem proving
- logic synthesis
- abductive reasoning
- truth values
- digital circuits
- logic programs
- expert systems
- multi agent systems
- information systems
- machine learning
- data sets