The establishment of mutually inverse implication proposition Xunwei Zhou, Institute of Information Technology, Beijing Union University, Beijing, CHINA
Dialectic Logic: Mathematical Archeology or Mathematical Technology? Antonio Vincenzi, Altosner Stiftung für philosophische Grundkagenfor, Altosner Stiftung für philosophische Grundkagenfor, Albissola Mare, ITALY
Type-Theoretical Approaches to Problems and Solutions Ivo Pezlar, Department of Philosophy, Masaryk University, Brno, CZECH REPUBLIC
