PD Dr. Jörg Hudelmaier
Universität Tübingen
Wilhelm-Schickard-Institut
Sand 13
72076 Tübingen
Deutschland

Einführung in die Logikprogrammierung (WS 97/8)

Einige Aufsätze:

• On a Contraction free Sequent Calculus for the Modal Logic S4. pdf
• Improved decision procedures for the Modal Logics K, T, and S4. pdf
• On the complexity of commutative and noncommutative linear logic. ps.Z
• On a hierarchy of fragments of intuitionistic propositional logic. ps
• Complexity of logic programs with nested implications. ps
• A note on Kripkean Countermodels for Intuitionistically Unprovable Sequents. pdf
• Bicomplete calculi for intuitionistic propositional logic. pdf
• On a normal form for intuitionistic propositional logic. pdf