A weak free logic with the existence sign.

Ermanno Bencivenga

Published in: Notre Dame J. Formal Log. (1980)

Keyphrases

modal logic
predicate logic
multi agent
logic programming
logical framework
classical logic
computational properties
sound and complete axiomatization
information retrieval
case study
horn clauses
probabilistic logic
set theory
complementarity problems