A New Syntax for Diagrammatic Logic: A Generic Figures Approach.
Gianluca CaterinaRocco GanglePublished in: NUMTA (2) (2019)
Keyphrases
- predicate calculus
- modal logic
- classical logic
- sound and complete axiomatization
- multi valued
- domain specific
- databases
- logic programming
- high level
- real time
- operational semantics
- proof theory
- automated reasoning
- natural language
- logical framework
- predicate logic
- neural network
- deontic logic
- database language
- dynamic logic
- delay insensitive