Some Applications of General Topology To The Semantics of Logic Programms.

Anthony Karel Seda

Published in: Bull. EATCS (1994)

Keyphrases

logic programming
special case
proof theory
operational semantics
highly expressive
logical framework
nonmonotonic logics
conditional logic
formal logic
computational properties