Subformula semantics for strong negation systems.

Published in: J. Philos. Log. (1990)

Keyphrases

logic programming
knowledge base
expert systems
relational databases
management system
distributed systems
logic programs
formal semantics