Logical Methods in Computer Science

1.	Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
	Bart Jacobs


2.	On the Monadic Second-Order Transduction Hierarchy
	Achim Blumensath and Bruno Courcelle


3.	Analytic Tableaux for Simple Type Theory and its First-Order Fragment
	Chad E. Brown and Gert Smolka


4.	Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules
	José L Balcázar


5.	Transforming Outermost into Context-Sensitive Rewriting
	Joerg Endrullis and Dimitri Hendriks