On incorrectness logic and Kleene algebra with top and tests.
Cheng ZhangArthur Azevedo de AmorimMarco GaboardiPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- boolean algebra
- set theory
- propositional logic
- algebraic structure
- data model
- query language
- logic programming
- real numbers
- algebraic expressions
- modal logic
- relational algebra
- valued logic
- proof theory
- multi valued
- algebraic geometry
- algebraic operators
- relation algebra
- classical logic
- database
- expressive power
- defeasible logic
- predicate logic
- test suite
- regular expressions
- rough sets
- knowledge representation
- bayesian networks
- data sets