Editorial Logic Colloquium '95, Haifa, Israel.

Gerhard Jäger Wolfram Pohlers Stanley S. Wainer

Published in: Arch. Math. Log. (1998)

Keyphrases

special issue
modal logic
multi valued
logic programming
computational properties
truth values
real time
neural network
information retrieval
search engine
decision trees
expert systems
expressive power
classical logic
proof theory