Login / Signup
On Extensions of Intermediate Logics by Strong Negation.
Marcus Kracht
Published in:
J. Philos. Log. (1998)
Keyphrases
</>
default logic
logic programming
knowledge representation formalisms
expressive power
high level
logic programs
modal logic
nonmonotonic logics
semantics for logic programs
real time
proof theory
truth values
default theories
classical logic
stable models
search engine
databases
data sets