The Art of Inference
by
João Marcos
This will eventually evolve into a book...
In the meanwhile, comments are
always
welcome through
.
Multiple-Conclusion Logics
This is a
tutorial
presented at the
UNI-LOG 2005
First
set of slides:
Remarkable Phenomena.
Second
set of slides:
General Abstract Nonsense.
Third
set of slides:
Is that all that there is?
Exercises
.
Last update:
March 2005