Computational isomorphisms in classical logic.

Vincent Danos Jean-Baptiste Joinet Harold Schellinx

Published in: Theor. Comput. Sci. (2003)

Keyphrases

classical logic
logic programming
modal logic
commonsense reasoning
intuitionistic logic
possibilistic logic
valued logic
autoepistemic logic
default logic
computer science and artificial intelligence
revision operators
neural network
machine learning
expert systems
general logic programs
rationality postulates