Walter Carnielli is professor of logic and philosophy at the Department of Philosophy, and a former Director of the Centre for Logic, Epistemology and the History of Science of the University of Campinas, Brazil. He received a PhD in Mathematics from the University of Campinas and held research positions at the University of São Paulo, University of California Berkeley, University of Münster, University of Bonn, Superior Technical Institute Lisbon, and Université du Luxembourg. He has published several books and more than 100 scientific papers in combinatorics, proof theory, semantics for nonclassical logics, recursion theory and computability, set theory, modal logics, combinations of logics, and foundations of
paraconsistent logics. His concerns involve the expansion of reasoning horizons by non-classical logics, including the connections between logic, probability and game theory, as well as the philosophical
interpretation of non-classical logics. He is executive editor of the IGPL Journal (Oxford Journals), editor of The Non-classical Logics Corner of the Journal of Logic and Computation (together with Heinrich
Wansing) and member of the editorial board of several other journals. Carnielli is a recipient of the Jabuti Prize, Brazil's most prestigious literary prize.

Jacek Malinowskiis professor of logic and philosophy at the Instituite of Philosophy and Sociology, Polish Academy of Sciences, Warsaw, Poland. He received a Master degree in Mathamatic from the University of ¿ód¿, Poland, and PhD and habilitation in Philosophy at Institute of Philosophy and Sociology, Polish Academy of Sciences. He held research positions at Free Univeristy of Brussels, Humboltd University in Berlin, University of Leipzig, the Netherland Institute of Advanced Study in Wasenaar. He publish papers in algebraic logics, quantuum logics, logical pragmatics. He is active as editor-in-chief of Studia Logica what he consider his main professional concern.

Investigates what is beyond the Principle of Non-Contradiction

Details groundbreaking ideas on consistency and inconsistency

Explores the foundations of reasoning, including logical systems and philosophical considerations