Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing.

Helena Rasiowa V. Wiktor Marek

Published in: J. Intell. Inf. Syst. (1993)

Keyphrases

management system
modal logic
digital circuits
proof theory
database
computer systems
linear logic
data processing
knowledge based systems
information processing
complex systems
retrieval systems
model checking
processing units
processing capabilities
dynamic logic