Local Completeness Logic on Kleene Algebra with Tests.
Marco MilaneseFrancesco RanzatoPublished in: SAS (2022)
Keyphrases
- boolean algebra
- set theory
- relation algebra
- algebraic structure
- classical logic
- regular expressions
- logic programming
- multi valued
- query language
- modal logic
- propositional logic
- data sets
- proof theory
- algebraic expressions
- algebraic operators
- neural network
- test data
- digital circuits
- predicate logic
- learning algorithm
- formal logic