On Incorrectness Logic and Kleene Algebra With Top and Tests.
Cheng ZhangArthur Azevedo de AmorimMarco GaboardiPublished in: CoRR (2021)
Keyphrases
- boolean algebra
- set theory
- algebraic structure
- propositional logic
- relation algebra
- relational algebra
- modal logic
- logic programming
- data model
- regular expressions
- delay insensitive
- logical framework
- algebraic expressions
- asynchronous circuits
- query language
- classical logic
- real time
- epistemic logic
- predicate logic
- formal logic
- natural deduction
- nonmonotonic logics
- algebraic geometry
- linear logic
- formal theory
- digital circuits
- cardinality constraints
- multiple choice
- statistical tests
- test data
- artificial intelligence
- neural network