Syntax-Independent Logic Infrastructure.
Andrei PopescuDmitriy TraytelPublished in: Arch. Formal Proofs (2020)
Keyphrases
- predicate calculus
- modal logic
- operational semantics
- predicate logic
- database language
- logic programming
- multi valued
- real time
- classical logic
- computational properties
- logical framework
- sound and complete axiomatization
- proof theory
- asynchronous circuits
- information exchange
- information technology
- natural language
- artificial intelligence
- data mining