On Jaskowski's discussive logic.

Newton C. A. da Costa Francisco A. Doria

Published in: Stud Logica (1995)

Keyphrases

multi valued
logic programming
modal logic
classical logic
proof theory
real time
asynchronous circuits
defeasible logic
logic programs
expert systems
clustering algorithm
image processing
computational properties
information systems
digital circuits
predicate logic
artificial intelligence
databases