Komori Identities in Algebraic Logic.
Willem J. BlokSilvia B. la FalcePublished in: Reports Math. Log. (2000)
Keyphrases
- computer algebra
- algebraic structure
- logic programming
- predicate logic
- sound and complete axiomatization
- data structure
- algebraic geometry
- mathematical theory
- computational properties
- classical logic
- asynchronous circuits
- formal theory
- set theory
- neural network
- logical framework
- multi valued
- logic programs
- programming language
- evolutionary algorithm
- search algorithm
- genetic algorithm