TUTORIALS - UNILOG'2015 - ISTANBUL
Why Study Logic ? (Opening Round Table)
Aristotle's Logic (John Corcoran) ARI
Jain Logic (Marie-Hélène Gorisse) JAI
Stoic Logic (Katerina Ierodiakonou) STO
Apuleius and Boethius's Logic (Manuel Correia) APU
Leibniz's Logic (Wolfgang Lenzen) LEI
Kant's Logic (Srećko Kovač) KAN
Hegel's Logic (Elena Ficara) HEG
Boole's Logic (Dale Jacquette) BOO
Lewis Carroll's Symbolic Logic (Amirouche Moktefi) CAR
Husserl's Logic (Manuel Gustavo Isaac) HUS
Logic and Music (Ingolf Max) MUS
Logic and Politics (Franca D'Agostini) POL
Logic and Categories (Eduardo Ochs) CAT
Logic and Nonsense (Thomas Ferguson) NON
Logic and Information (Patrick Allo) INF
Logic and the Theory of Relativity (Gergely Székely) REL
Logic and Existence (Luis Estrada and Giovanni Mion) EXI
Logic and Fiction (John Woods) FIC
Logic and Grammar (Ernie Lepore) GRA
Logic and Quantum Theory (Bob Coecke) QUA
Logic and Language (Patrick Blackburn) LAN
Logic and Colour (Dany Jaspers) COL
Gödel's Incompleteness Theorems (Bernd Buldt) INC
Compactness Theorem (David Pierce) PAC
Lindström's Theorem (Peter Arndt) STR
Löwenheim-Skolem Theorem (Nate Ackerman) LOW
Completeness Theorem (Maria Manzano) COM
Dugundji's Theorem (Marcelo Coniglio - Newton Peron) DUG
Cut-Elimination Theorem (Andrzej Indrzejczak) CUT
Lindenbaum Maximalization Theorem (René Gazzari) LIN