An Improved Proof of the Closure Under Homomorphic Inverse of FCFL Valued in Lattice-Ordered Monoids.
Haihui WangLuyao ZhaoPing LiPublished in: NCTCS (2019)
Keyphrases
- valued logic
- privacy preserving
- theorem prover
- theorem proving
- rough approximations
- first order logic
- closure operator
- ordered sets
- encryption scheme
- linear logic
- real time
- logical rules
- boolean algebra
- algebraic structure
- automated theorem proving
- lattice structure
- concept lattice
- data sets
- multi valued
- neural network
- lattice points
- database
- mathematical proofs