Analytic Calculi for Product Logics.

George Metcalfe Nicola Olivetti Dov M. Gabbay

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

Keyphrases

sequent calculi
expressive power
modal logic
conditional logic
neural network
life cycle
production planning
social networks
product information
information systems
knowledge representation
default reasoning
product design
classical logic
product quality