Subtractive logic.

Tristan Crolard

Published in: Theor. Comput. Sci. (2001)

Keyphrases

multi valued
classical logic
logic programming
modal logic
automated reasoning
proof theory
deontic logic
logical framework
decision making
expressive power
description logics
multi agent
computational properties
predicate logic
case study
asynchronous circuits
web services