13th Trends in Logic (Studia Logica sponsored conference) Łódź, Poland July 2−July 5, 2014 Full papers submission deadline: 15 March 2014
Gentzen's and Jaśkowski's heritage: 80 years of Natural Deduction and Sequent Calculi http://www.filozof.uni.lodz.pl/trends/ In 1934 Gentzen and Jaśkowski independently published their groundbreaking works on Natural Deduction. Since then many outstanding scholars have developed their ideas in many directions. Systems originally introduced by Gentzen and Jaśkowski became the fundament of modern proof theory, as well as the basic tool in teaching logic. This edition of Trends in Logic is devoted to widely conceived heritage of both inventors of Natural Deduction. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
