Proof Engineering with Predicate Transformer Semantics.
Christa JenkinsMark MoirHarold CarrPublished in: CoRR (2022)
Keyphrases
- proof theory
- complete axiomatization
- proof theoretic
- formal semantics
- artificial intelligence
- engineering design
- theorem prover
- theorem proving
- fuzzy logic
- precise definition
- fault diagnosis
- first order logic
- logical rules
- database
- engineering problems
- logic rules
- model theoretic
- database systems
- higher order logic
- natural language
- transformation rules
- computer science
- logic programming