Negation in Contextual Logic.

Léonard Kwuida Andreja Tepavcevic Branimir Seselja

Published in: ICCS (2004)

Keyphrases

formal theory
logic programming
contextual information
predicate logic
data sets
logic programs
context dependent
modal logic
context sensitive
deductive databases
propositional logic
nonmonotonic reasoning
horn clauses
classical logic