Relevance Logic and Concurrent Composition

Published in: LICS (1988)

Keyphrases

modal logic
multi valued
logic programming
web service composition
automated reasoning
classical logic
natural deduction
database
databases
artificial intelligence
relevance feedback
theorem proving
computational properties
set theory
predicate logic
concurrent programming