Extension of Lukasiewicz Logic by Product Connective.
Rostislav HorcíkPetr CintulaPublished in: IFSA (2003)
Keyphrases
- modal logic
- truth values
- proof theoretic
- logic programming
- classical logic
- inference rules
- life cycle
- product information
- computational properties
- product design
- digital circuits
- product quality
- multi valued
- predicate logic
- proof theory
- tableau calculus
- neural network
- monadic second order logic
- set theory
- temporal logic
- expressive power
- model checking
- programming language
- case study
- search engine