SESSION UNIVERSAL

KEYNOTE SPEAKER
Melving Fitting
Dpt of Mathematics and Computer Sciences, City University of New York, USA

"Cut-free proofs for more and more logics"

Pavel Arazim
Charles University in Prague, Czech Republic
"Logical pluralism from the perspective of logical expressivism"

Peter Arndt
Dpt of Mathematics, University of Regensburg, Germany
"Homotopy theoretical aspects of abstract logic"

Rodolfo C. Ertola Biraben
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Expanding non-classical logics"

Stefano Borgo and Oliver Kutz
Laboratory for Applied Ontology, ISTC CNR, Trento, Italy amd University of Magdeburg, Germany
"Applied ontology, logical pluralism, and the logical constants"

Carlos Caleiro and Sérgio Marcelino
Security and Quantum Information Group, Institute for Telecommunications, IST, University of Lisbon, Portugal
"Fibring logics: decidability and conservativity Part I and part II"

Yaroslav Kokhan
Institute of Philosophy, Kyiv, Ukraine
"Logical structures as formal objects"

Sérgio Marcelino and Carlos Caleiro
Security and Quantum Information Group, Institute for Telecommunications, IST, University of Lisbon, Portugal
"Fibring logics: decidability and conservativity part II"

João Marcos, Carlos Caleiro and Sérgio Marcelino
DIMAp, UFRN, Brazil, Security and Quantum Information Group, Institute for Telecommunications, IST, University of Lisbon, Portugal
"Cancellation, many-valuedness, and combined logics"

Bruno Ramos Mendonça
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Logical consequence and measuring of semantic information via distributive normal forms"

Luiz Carlos Pereira and Edward Hermann Haeusler
Dpt of Philosophy and Dpt Informatics, PUC-Rio, Brazil
"Some general results on translations between logics and theories"

Mattia Petrolo and Paolo Pistone
IHPST - Université Paris 1 Panthéon-Sorbonne, Paris, France and University of Roma 3, Italy
"Harmonizing involutive and constructive negations"

Jiri Raclavsky
Dept of Philosophy, Masaryk University Brno, Czech Republic
"Logic as universal language and its limit: solution to the problems of quantification over types and orders in type theory"




Serge Robert and
Janie Brisson
Laboratoire LANCI, Université du Québec à Montréal, Canada
"A metalogical exploration of logical structures and their cognitive relevance"

Marcin J. Schroeder
Akita International University, Japan
"From deductive systems of logic to logic of information"

Elena Shulga
Institute of Philosophy, Russian Academy of Sciences, Moscow
"Universal logical hermeneutics"


Edelcio Gonçalvez Ki de Souza
University of São Paulo, Brazil
"On a geometrical formulation of a class of consequence structures"

Erik Stei
Rheinische Friedrich-Wilhelms-University, Bonn, Germany
"A surprising consequence of pluralism about logical consequence"

Thomas Studer
University of Bern, Switzerland
"Probabilistic justification logic "

Xunwei Zhou
Beijing Union University, Beijing , China
"Mutually-inversistic logic unifies more than a dozen logics"

For co-authored papers, first is the name of the one who will present the talk. Talks are located in a workshop or in a session
Keynote talks= 45 mn / Contributed talks = 30 mn (including discussion in both cases)