Computational isomorphisms in classical logic.

Vincent Danos Jean-Baptiste Joinet Harold Schellinx

Published in: Electron. Notes Theor. Comput. Sci. (1996)

Keyphrases

classical logic
logic programming
modal logic
commonsense reasoning
intuitionistic logic
revision operators
databases
data mining
default logic
valued logic
computer science and artificial intelligence
incomplete information
possibilistic logic
autoepistemic logic
rationality postulates