The Logic of Separation Logic: Models and Proofs.
Frank S. de BoerHans-Dieter A. HiepStijn de GouwPublished in: TABLEAUX (2023)
Keyphrases
- cut elimination
- logic programming
- classical logic
- data sets
- statistical models
- automated reasoning
- linear logic
- probabilistic model
- model selection
- natural deduction
- statistical model
- computational models
- multi valued
- asynchronous circuits
- abductive reasoning
- predicate logic
- theorem proving
- computational properties
- logical framework
- theorem prover
- modal logic
- decision trees
- artificial intelligence
- genetic algorithm