The Faculty of Arts is home to one of the most multidisciplinary academic communities on campus. From neuroscience, through ancient languages to choreography and music and drama composition, our researchers and students lead critical and creative research inquiry that engages communities and fosters innovation, leadership and creative practice. Composed of 12 departments and two schools, our faculty fosters a culture of critical and creative inquiry, debate, imagination, discovery and entrepreneurial thinking. Our vision for energizing arts is to engage, inspire, discover. Continue reading to find out more about research in the Faculty of Arts.
(European Association for Theoretical Computer Science, 1993-01) Baaz, Matthias; Fermüller, Christian G.; Zach, Richard
The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are always two dual proof systems (not just only two ways to interpret the calculi). This phenomenon may easily escape one's attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and the exclusion of the opposite truth value describe the same situation.
(IEEE, 1993-05-01) Baaz, Matthias; Fermüller, Christian G.; Zach, Richard
We exhibit a construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics. These systems are systematically obtained from sequent calculi, which in turn can be extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness and normal form theorems for the natural deduction systems.