Product L ukasiewicz Logic.

Rostislav Horcík Petr Cintula

Published in: Arch. Math. Log. (2004)

Keyphrases

life cycle
logic programming
modal logic
multi valued
product design
real time
predicate logic
product line
asynchronous circuits
proof theory
real world
artificial intelligence
defeasible logic
product information
digital circuits