Dette emnet er nedlagt

Semesterside for INF5170 - Vår 2005

Arild Waaler begynner presentasjonen av sin artikkel Connections in Nonclassical Logics på mandag 21. februar 17:15. Seminaret er åpent for alle. Sjekk undervisningsplanen for detaljer.

Dette blir en introduksjon og sammenlikning av matrisesystemer og sekventkalkyler for klassisk logikk, intuisjonistisk logikk og modallogikk med fokus på bevissøk og unifikasjon.

Litteratur:

  • Arild Waaler, Connections in Nonclassical Logics. Handbook of Automated Reasoning, Vol.2, pp.1487-1578, Elsevier Science and MIT Press, 2001. [PDF] , [PS]
  • Jean Gallier, Unification Procedures in Automated Deduction Methods Based on Matings: A Survey. In Tree automata and languages, Edited by M. Nivat and A. Podelski, Elsevier, 439-485 (1992)....
18. feb. 2005 01:00

Ønsker du å stå på epostlisten til logikkseminaret? Send i så fall en epost til Roger eller Arild .

17. jan. 2005 01:00

Seminaret starter opp igjen mandag 17. kl. 1715 på Buerommet. Først ut er Bjarne med connection-kalkyle, meta-programmering og Maude. Vel møtt!

17. jan. 2005 01:00