Fundamental Properties of Extended Kleene-Stone Logic Functions.
Noboru TakagiKyoichi NakashimaMasao MukaidonoPublished in: ISMVL (1992)
Keyphrases
- derivation rules
- classical logic
- databases
- algebraic properties
- aggregation functions
- structural properties
- desirable properties
- formal language
- morphological transformations
- database
- asynchronous circuits
- computational properties
- topological properties
- multi valued
- propositional logic
- logic programming
- database systems
- case study
- information retrieval
- neural network