Thursday 21 Afternoon and Friday 22 Full Day

Didier Dubois
IRIT, Toulouse, France
"A unified view of some formalisms handling incomplete and inconsistent information"

Anna Zamansky
Information Systems Department, University of Haifa, Israel
"Paraconsistency: Theory and Practice"

David Makinson
London School of Economics, England
"A New Perspective for Relevance Logic"

Ana Cholodovskis
State University of Campinas, Brazil
“Nonmonotonic Reasoning, Context-Sensitivity and Indexicals”

Cristina Barés Gómez, Angel Nepomuceno-Fernández and Francisco Salguero
Department of Philosophy, Logic and Philosophy of Science and Department of Spanish Languages, Linguistics and Literature Theory, University of Seville, Spain
“Abduction for Reconstructing Proto-Languages”

Huacan He and Yanquan Zhou
Northwestern Polytechnical University, Xi'an, China; Beijing University of Posts and Telecommunications, Beijing, China
“Universal Logic and Generalized Probability Theory”

Bora Kumova
Institute of Zoology, University of Veterinary Medicine, Hannover, Germany
“The Syllogistic System: A Paraconsistent Logic Model for Human Reasoning”

François Lepage
Université de Montréal, Canada
“A Probabilistic Interpretation for an Intuitionistic Sequent Predicate Calculus with Strong Negation”

José M.Méndez, Gemma Robles and Francisco Salto
University of Salamanca, Spainand Department of Psychology, Sociology and Philosophy, University of León, Spain
“A basic dual intuitionistic logic”

Yotaro Nakayama, Seiki Akama and Tetsuya Murai
Nihon Unisys, Ltd., Tokyo, Japan; C-Republic, Inc., Kanagawa, Japan; Chitose Institute of Science and Technology, Hokkaido, Japan
“Many-Valued Decision Logic for Rough Sets”

Marek Nasieniewski and Krystyna Mruczek-Nasieniewska
Department of Logic, Nicolaus Copernicus University, Torun, Poland
“On a correspondence of positive and negative modalities on the basis of some non-normal logics”

Alexandre Rademaker, Edward Hermann Haeusler and Fabricio Chalub
IBM Research, School of Applied Mathematics; Getulio Vargas Foundation; Pontifical Catholic University; Rio de Janeiro, Brazil
“Investigations on the axiomatic presentation of ALC Description Logic and its formalization in Lean”

Rohit Parikh
City University of New York, USA
“Fuzzy Logic and Communication in a Social Context”

Gemma Robles
Department of Psychology, Sociology and Philosophy, University of León, Spain
“Expansions of relevance logics with a quasi-Boolean negation of intuitionistic character”

Peter Verdée
Université Catholique de Louvain, Belgium
“A pluralist account of relevant implication and a sequent calculus for classical logic's version”

Jincheng Zhang and Yanquan Zhou
Party Committee Party School, Guangde County, Anhui Province, China; Beijing University of Posts and Telecommunications, Beijing, China
“S-shape Transconsistent Logic System”

Tihomir Zilic, Mario Essert, Juraj Benic and Ivana Kuzmanovic
Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb, Croatia; Department of Mathematics, Josip Juraj Strossmayer University, Osijek, Croatia
“Universal M-Valued logic”

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)
Back to the Sessions of UNILOG'2018