On Product Logic with Truth-constants.

Petr Savický Roberto Cignoli Francesc Esteva Lluís Godo Carles Noguera

Published in: J. Log. Comput. (2006)

Keyphrases

truth values
life cycle
multi valued
predicate logic
product quality
logic programming
product development
artificial intelligence
product design
production planning
inference rules
classical logic
website
product information
information systems
databases
asynchronous circuits