A Paraconsistent Decagon.

João Marcos Diderik Batens Walter Alexandre Carnielli

Published in: J. Appl. Log. (2005)

Keyphrases

logic programming
inference rules
truth values
real time
databases
logic programs
possibilistic logic
database systems
expert systems
general purpose