Some (non)tautologies of łukasiewicz and Product Logic.
Petr HájekPublished in: Rev. Symb. Log. (2010)
Keyphrases
- classical logic
- logic programming
- life cycle
- computational properties
- product design
- data mining
- information retrieval
- artificial intelligence
- product quality
- modal logic
- real time
- multi valued
- proof theory
- formal theory
- multi agent systems
- logical framework
- expressive power
- product information
- recommender systems
- dynamic logic
- sound and complete axiomatization