A Modal Analog for Glivenko's Theorem and its Applications.

Vladimir V. Rybakov

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

Keyphrases

analog vlsi
modal logic
digital topology
databases
von neumann
information systems
analog circuits
vlsi architecture
real time
knowledge base
clustering algorithm
decision trees
data conversion
digital computer
intuitionistic logic