Dialogical Connexive Logic.

Shahid Rahman Helge Rückert

Published in: Synth. (2001)

Keyphrases

logic programming
predicate logic
evolutionary algorithm
modal logic
classical logic
artificial intelligence
automated reasoning
set theory
sound and complete axiomatization
genetic algorithm
delay insensitive
proof theory
formal theory
defeasible logic
logical framework
data structure
clustering algorithm