The Art of Inference
This will eventually evolve into a book...
In the meanwhile, comments are always welcome through
here.
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
