Positive Arithmetic Without Exchange Is a Subclassical Logic.
Stefano BerardiMakoto TatsutaPublished in: APLAS (2007)
Keyphrases
- micron cmos
- positive and negative
- modal logic
- multi valued
- automated reasoning
- classical logic
- information exchange
- quantifier free
- logic programming
- data mining
- digital circuits
- multiple valued
- neural network
- expert systems
- real time
- search engine
- genetic algorithm
- probabilistic logic
- information retrieval
- delay insensitive
- rewrite systems