Logic

Group Leader

• Prof. Dr. George Metcalfe

Members of the Research Group

• Prof. Dr. Jürg Schmid (Retired)
• Dr. Leonardo Cabrer
• Christoph Röthlisberger

Partner Group

• Theoretical Computer Science and Logic (TIL)

Research Topics

• Proof Theory
• Non-Classical Logics
• Ordered Algebraic Structures

Activities

• Special Issue: Admissible Rules and Unification, Notre Dame Journal of Formal Logic (Call for Papers)
• Special Issue: Mathematical Fuzzy Logic, Journal of Logic and Computation 21(5), 2011.
• Automated Reasoning with Analytic Tableaux and Related Methods, Springer LNCS 6793, 2011.
• TABLEAUX 2011, Bern, 4-8 July 2011.
• Workshop on Admissible Rules and Unification (WARU 2011), Utrecht, 26-28 May 2011.
• Algebra and Coalgebra meet Proof Theory (ALCOP 2011), Bern, 27-29 April 2011
• Special Issue: Order, Algebra and Logics, Journal of Logic and Computation 20(4), 2010.
• Proof, Computation, Complexity, Bern (PCC 2010), 18-19 June 2010.
• Workshop on Algebra and Logic, Bern, 8-9 April 2010.

Publications

• Publication List of Prof. Metcalfe