A free logic with simple and complex predicates.

Ermanno Bencivenga Karel Lambert

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

Keyphrases

databases
real world
information systems
website
multi valued
classical logic
predicate logic
sound and complete axiomatization