Matteo Acclavio
LIX, INRIA, Saclay Research Centre, Paris, France
“Proof Diagrams as Concurrent Syntax for Sequent Calculi”
Workshop Categories and Logic
“A Constructive Proof of Coherence Theorem for Symmetric Monoidal Category”
Session Algebra & Category

Mark Addis
Centre for Philosophy of Natural and Social Science, London School of Economics and Political Science, UK
“Institutional Model Theory and Syntax of Physical Theories”
Workshop Model Theory

Juan C.Agudelo-Agudelo
Institute of Mathematics, University of Antioquia, Medellin, Colombia
“Polynomial Semantics for Normal Modal Logics”
Session Modal


Gaetano Albergo
Department of Human Sciences, University of Catania, Italy
“Outside-in or inside-out? A logic for human sensory system”
Workshop Logic and Music
“A dinner with Charley”
Workshop Around Peirce

>
Abdul Jaleel Kadhim Alwali
Department of Philosophy, United Arab Emirates University
“Logic Functions in the Philosophy of Al-Farabi”
Session History

Nicola Angius, Maria Dimarogkona and Petros Stefaneas
Department of History, Human Sciences, and Education, University of Sassari, Italy and Department of Mathematics School of Applied Mathematical and Physical Sciences, National Technical University of Athens (NTUA), Greece
“Syntactic and semantic presentations of scientific theories in abstract model theory”
Workshop Model Theory

Delphine Antoine-Mahut
Ecole Normale Supérieure, Lyon, France
“Pathologies of rationalities and embodied logic: Malebranche’s conception of Madness as a case study”
Workshop Sociology and Anthropology of Logic


Pavel Arazim
Charles University, Prague, Czech Republic
“Logics as models versus logics as proposals”
Session Universal


Jacob Archambault
Highlands Latin School, Louisville, USA
“Divided modality for Ockhamists”
Session Modal

Jonas R. Becker Arenhart, and Ederson Safra Melo
Department of Philosophy, Federal University of Santa Catarina, Brazil and Department of Philosophy, Federal University of Maranhão, Brazil
“(De)motivating Gluts”
Workshop Reflections on Paraconsistency

Michael Arndt
Department of Computer Science, University of Tübingen, Germany,
"Tomographs for Substructural Display Logic"
Workshop Proof Theory

Peter Arndt, Hugo Luiz Mariano and Darllan Conceição Pinto
University of Düsseldorf, Germany, University of São Paulo, Brazil and Federal University of Bahia, Brazil
“κ-filter pairs and non-finitary logics”
Workshop Categories and Logic

Peter Arndt, Ramon Jansana, Hugo Luiz Marianoand Darllan Conceição Pinto, University of Düsseldorf, Germany; University of Barcelona, Spain; University of São Paulo, Brazil;Federal University of Bahia, Brazil
“Filter pairs: A new way of presenting logics”
Session Algebra & Category

Sayan Baizhanov and Beibut Sh. Kulpeshov
Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan and International Information Technology University, Almaty, Kazakhstan
“Preserving properties at expansions of models of ordered theories by unary predicates”
Workshop Model Theory

Tal Dotan Ben-Soussan and Patrizio Paoletti
Patrizio Paoletti Foundation for Development and Communication
“Philosophy, Art, Science, Economy (PHASE) of self and internal integrity”
Session Philosophy

Sorin Ioan Bangu
University of Bergen, Norway
“Later Wittgenstein: Logic, Necessity and Social Practice”
Workshop Sociology and Anthropology of Logic

Hakob Barseghyan
Institute for the History and Philosophy of Science and Technology, University of Toronto, Canada
“The Role of Paraconsistency in Scientific Change”
Workshop Reflections on Paraconsistency

Stepan Bashmakov
Siberian Federal University, Krasnoyarsk, Russia
“Projective unification in linear multi-modal logic of knowledge and non-transitive time”
Workshop Model Theory

Gianfranco Basti, Antonio Capolupo and Giuseppe Vitiello
Pontifical Lateran University, Vatican and Department of Physics, University of Salerno, Fisciano, Italy
“A Computable Model of Amartya Sen's Social Choice Function in the Framework of the Category Theory Logic”
The Logic of Social Practices

Nikolay Bazhenov
Sobolev Institute of Mathematics, Novosibirsk State University, Russia
“Computable modal algebras and contact algebras”
Workshop Model Theory

Jean-Yves Beziau
University of Brazil, Rio de Janeiro and ENS, Paris
“In which sense symbolic logic is symbolic?”
Workshop Naming Logics II

Rodolfo C. Ertola Biraben
State University o Campinas, UNICAMP, Brazil
“Peirce and distributivity”
Workshop Around Peirce

Maíra Bittencourt
Department of Philosophy, State University of Campinas, Brazil
“Is there any really autonomous proof for the non-existence\\ of probabilistic inductive support?”
Workshop Logic, Probability, and their Generalizations

Joshua Black
Department of Philosophy, University of Sheffield, UK
“Peirce on the Identity of Truth and Reality”
Workshop Around Peirce


AnneMarie Borg and Ofer Arieli
Institute of Philosophy II, Ruhr-University Bochum, Germany; School of Computer Science, The Academic College of Tel-Aviv, Israel
“Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5”
Session Modal


Bryson Brown
Department of Philosophy, University of Lethbridge, Canada
“Preservationist Consequence and Logical Pluralism”
Session Universal


Anna Brożek and Marcin Będkowski and Alicja Chybińska and Stepan Ivanyk and Dominik Traczykowski
Department of Methodology of Humanities,\\ Institute of Philosophy, University of Warsaw, Poland
“Methodological peculiarities of the Lvov-Warsaw School”
Workshop The Lvov-Warsaw School

Julie Brumberg-Chaumont
CNRS, Paris Research University, France
“Anthropology and Sociology of Logic as a Norm in the Middle Ages”
Workshop Sociology and Anthropology of Logic

Andreas B.M.Brunner, Darllan Conceição Pinto, Samuel G.da Silva and Hugo Luiz Mariano
Federal University of Bahia, Brazil and University of São Paulo, Brazil
“Beyond the categorial forms of the Axiom of Choice”
Workshop Categories and Logic


Juliana Bueno-Soler
School of Technology, State University of Campinas, Limeira, Brazil
“A generalization of Popper's probability theory”
Workshop Logic, Probability, and their Generalizations

Kevin M.Cahill
University of Bergen, Norway
“The Grammar of Conflict”
Workshop Sociology and Anthropology of Logic

Gregory Carneiro
Department of Philosophy, University of Brasília, Brazil
“A paraconsistent approach to da Costa's deontic logic: beyond contradictions and triviality”
Workshop Reflecions on Paraconsistency

Walter Carnielli
Centre for Logic, Epistemology and the History of Science, Department of Philosophy, State University of Campinas, Brazil
“Paraconsistent autonomous probabilities”
Workshop Logic, Probability, and their Generalizations

Walter Carnielli
Mamede Lima-Marques
Centre for Logic, Epistemology and the History of Science,Department of Philosophy, State University of Campinas, Brazil and University of Brasilia, Brazil
“Society semantics and meta-levels of many-valued logic”
Workshop Logics and Metalogics

Jerry Chandler
Krasnow Institute for Advanced, Study George Mason University, USA
“Is Life Logical? Application of the Peirce-Lesniewski-Tarski Meta-Logics to the Organic Mathematics of the Perplexity of Natural Sorts and Kinds ”
Session Philosophy

Saloua Chatti
University of Tunis, Tunisia
“Logical Oppositions in Avicenna's Hypothetical Logic”
Workshop Logical Geometry

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


Daniele Chiffi , and Ahti-Veikko Pietarinen
Tallinn University of Technology, Estonia and Nazarbayev University, Kazakhstan
“Logical Consequence in the Diagrammatic System of Assertive Graphs”
Workshop Around Peirce


Anne Brel Cloutier
Institute of Cognitive Sciences, Université du Québec, Montréal, Canada
“Community of Philosophical Inquiry”
Workshop Logic for Children

Bob Coecke
University of Oxford, UK
“From Quantum to Cognition”
Workshop Logic and Physics

Moritz Cordes
Department of Philosophy, Greifswald University, Germany
“Logic as Subject and Method of a Logician’s Work”
Workshop Writing and Reading in Logic


Bożena Czernecka-Rej
The John Paul II Catholic University, Lublin, Poland
“On Ludwik Borkowski's philosophico-logical views”
Workshop The Lvov-Warsaw School

Jan Czerniawski
Institute of Philosophy, Jagiellonian University, Poland
“Free Ontology as the logic for reism”
Workshop The Lvov-Warsaw School


Jean-Pierre Desclés
Université Paris-Sorbonne, France
“How Combinatory Logic can be used to formalize meanings”
Session Language & Semiotics

Lorenz Demey
Center for Logic and Analytic Philosophy, KU Leuven, Belgium
“Center for Logic and Analytic Philosophy, KU Leuven, Belgium”
Workshop Writing and Reading in Logic

Ebubekir Muhammed Deniz
Istanbul 29 Mayis University, Istanbul, Turkey
“On the Possibility of Dialetheic Metaphysics”
Workshop Reflections on Paraconsistency

Rafael Diaz
School of Mathematics, National University of Colombia, Medellin, Colombia
“Boole-Weyl Algebras in a Categorical Context”
Workshop Categories and Logic

Farzad Didehvar
School of Mathematics and Computer Science, Amir Kabir University, Tehran, Iran
“Is Classical Mathematics Appropriate for Theory of Computation?”
Session Computation

Laurent Dubois
Free University of Brussels, Belgium
“Universal Logic = Logic of the Universal ?”
Session Universal


David Dunning
Ph.D. Program in the History of Science, Princeton University, USA
“Teaching Begriffsschrift: Frege’s Notation and the Problems of Pedagogy”
Workshop Writing and Reading in Logic

Dominique Duval
Laboratoire Jean Kuntzmann, Grenoble Alpes University, France
“Logical rules are fractions”
Workshop Categories and Logic

Philip Ehrlich
Department of Philosophy, Ohio University, Athens OH, USA
“Integration on the surreals: a conjecture of Conway, Kruskal and Norton”
Workshop Model Theory

Peter Eldridge-Smith
School of Humanities, Australian National University, Centre for Strategic Business Studies, Australia
“Paradoxes, Hypodoxes, Hypodox-paradox duality and Hypodoxical Paradoxes”
Workshop Reflections on Paraconsistency

Dmitry Emelyanovand Sergey Sudoplatov
State Technical University, Novosibirsk State University and Sobolev Institute of Mathematics, Novosibirsk
“On almost deterministic algebras of binary isolating formulas for polygonometrical theories”
Workshop Model Theory

Emre Arda Erdenk
Department of Philosophy, Karamanoglu Mehmetbey University, Karaman, Turkey
“A New Method of Demonstration for Aristotle's Ontological Syllogistic”
Session History

Zidani Farid
Department of Philosophy, University of Alger 2, Algeria
“The Interaction of Logic and Jurisprudence in the Islamic Tradition: A Genealogy of a Long-Lasting Antagonism”
Workshop Logic, Law and Legal Reasoning

Elena Ficara
Department of Philosophy, University of Paderborn, Germany
“Hegel on the Naturalness of Logic”
Workshop Sociology and Anthropology of Logic


Matthieu Fontaine
Centre for Philosophy of Science, University of Lisbon, Portugal
“World lines semantics and the contingent a priori ”
Workshop Hintikka

Matthieu Fontaine
and Cristina Barés Gómes
Centre for Philosophy of Science, University of Lisbon, Portugal and University of Seville, Spain
“Abduction in Unconceded-Preserving Dialogues”
Session Argumentation

Christophe Fouqueré and Myriam Quatrini
LIPN, CNRS, Université Paris 13, France and CNRS, Institut de Mathématiques de Marseille, Université d'Aix-Marseille, France
“Ludics for modelling the role of a judge during legal debates”
Workshop Logic, Law and Legal Reasoning

Hális Alves do Nascimento França
Graduate Program in Language Studies, Federal University of Rio Grande do Norte, Brazil
“Textual Discourse Analysis: Towards an Illocutionary- Argumentative Model for the International Legal Discourse”
Workshop Logic, Law and Legal Reasoning


Michèle Friend
Department of Philosophy, Columbian College of Arts and Sciences, George Washington University, Washington, USA
“A Formal Representation of Reasoning for Chemistry”
Session Philosophy

David Fuenmayor and Christoph Benzmüller
Free University of Berlin, Germany and University of Luxembourg, Luxembourg
“Computational Hermeneutics: Using Computers to Interpret Philosophical Arguments”
Workshop Logical Correctness


Rocco (Jonathan) Gangle, and Gianluca Caterina
Department of Philosophy, Endicott College, USA and Department of Mathematics, Endicott College, USA
“A Generic Figures Reconstruction of Peirce’s Existential Graphs (Alpha)”
Workshop Around Peirce

Angel Garrido
Faculty of Sciences, Department of Fundamental Mathematics, National Distance Education University, Madrid, Spain
“From Aristotle to Lvov-Warsaw School”
Workshop The Lvov-Warsaw School

Vitalii Gavryluk and Mykola Nikitchenko
European University of Kyiv, Ukraine and Taras Shevchenko National University of Kyiv, Ukraine
“Methodological Principles for Program Logic Construction”
Session Computation


Stamatios Gerogiorgakis
Department of Philosophy, University of Erfurt, Germany
“Does the Metalogic that Underlies the Aristotelian Logic Resemble what Timothy Williamson Calls a 'Folk Logic'?”
Session History


René Gazzari
Department of Computer Science, University of Tübingen, Germany
"The Existence of Pure Proofs"
Workshop Proof Theory

Alexandre Goy, Marc Aiguier and Isabelle Bloch
MICS, LTCI, Université Paris-Saclay, France
“Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning”
Session Algebra & Category

Joanna Golińska-Pilarekand Taneli Huuskonen
Institute of Philosophy, University of Warsaw, Poland
“On Grzegorczyk's Logics of Descriptions and Descriptive Equivalences”
Workshop The Lvov-Warsaw School

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”
Session Non-Classical Logics

Joanna Grygiel, Institute of Philosophy,Jan Długosz University, Częstochow, Poland, “On the Notion of Independence”
Workshop The Lvov-Warsaw School

Nino Guallart
Department of Philosophy, Logic and Philosophy of Science, University of Seville, Spain
“A second order propositional logic with subtyping”
Session Tools & Results

Nino Guallart and Angel Nepomuceno-Fernández
Department of Philosophy, Logic and Philosophy of Science, University of Seville, Spain
“Categorical semantics for a variation of subjective logic”
Session Algebra & Category

Gaëll Guibert and Benoît Sauzay
Paris, France
“Analogies of meaning across logic and categories”
Session Algebra & Category

Jesse Han
Department of Mathematics and Statistics, McMaster University, Hamilton, Ontario, Canada
“Makkai duality, descent and definability”
Workshop Categories and Logic

Sina Hazratpour
School of Computer Science, University of Birmingham, UK
“Fibrations of contexts beget fibrations of toposes”
Workshop Categories and Logic

Alfred van der Helm
“Practices of Writing and Reading in Logic: the 14th Century case of Thomas Manlevelt”
Workshop Writing and Reading in Logic

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”
Session Non-Classical Logics

Huacan He and Yanquan Zhou
Northwestern Polytechnical University, Xi'an, China and Beijing University of Posts and Telecommunications, Beijing, China
“The generalized probability theory and intelligent information processing”
Session Tools & Results

Paul Healey
Independent Scholar, London, UK
“Interpretations of Chance within the Dialectic”
Session History


Ulf Hlobil
Department of Philosophy, Concordia University, Canada
"Extensions of Non-Monotonic and Non-Transitive Atomic Bases"
Workshop Proof Theory

Antonia Huertas, María Manzano and Manuel C.Moreno
Open University of Catalonia, Barcelona, Spain and University of Salamanca, Spain
“Intensional: what it is about?”
Session Modal

Muhammad Iqbal
Antasari State Islamic University, Indonesia
“Abu Isaq al-Shirazi' System of Co-Relational Inferences by Indication”
Workshop Logic, Law and Legal Reasoning

Andrzej Indrzejczak
Department of Logic, University of Łódź, Poland
“Stanisław Jaśkowski and the first textbook based\\ on Natural Deduction”
Workshop The Lvov-Warsaw School


Sara Ipakchi
Heinrich Heine University, Düsseldorf, Germany
“A justification for Aristotle's Thesis on the basis of the law of non-contradiction”
Session History

Stepan Ivanyk
Department of Methodology of Humanities, Institute of Philosophy, University of Warsaw, Poland
“Methodological aspects of research on the Ukrainian branch of the Lvov-Warsaw School”
Workshop The Lvov-Warsaw School


Ricardo Jardim
Department of Philosophy, Federal University of Rio de Janeiro, Brazil
“The Structural Unconcious: the Logic of Differences”
Session Language & Semiotics

Dany Jaspers
KU Leuven - Campus Brussels, Belgium
“On the Interaction of Tense and Aspect - Merging Kites”
Workshop Logical Geometry


Sándor Jenei
Institute of Mathematics and Informatics, University of Pécs, Hungary
“Strong Standard Completeness of IUL plus t ⇔ f”
Session Algebra & Category

Pierre Joray
Faculty of Philosophy, University of Rennes 1, France
“A Natural Deduction System for Leśniewski's Protothetic”
Session Tools & Results

Vedat Kamer
Istanbul University, Istanbul, Turkey
“In which sense informal logic is informal?”
Workshop Naming Logics II

Fatma Karaismail
Istanbul University, Turkey
“The Essence of Transformation in Methods of Inference in Medieval Islam”
Session History

Esma Kayar
Philosophy Department, Istanbul University, Turkey
“The Principle of Excluded Middle in Kant”
Session History

Yiannis Kiouvrekis, Petros Stefaneas and Sergey Sudoplatov
Department of Mathematics School of Applied Mathematical and Physical Sciences, National Technical University of Athens (NTUA), Greece and Sobolev Institute of Mathematics, Novosibirsk
“On almost deterministic algebras of binary isolating formulas for polygonometrical theories”
Workshop Model Theory


Teresa Kouri Kissel
Department of Philosophy and Religious Studies, Old Dominion University, Norfolk, Virginia, USA
“Logical Instrumentalism and Linear Logic”
Workshop Logical Correctness

Vojtech Kolman
Institute of Philosophy and Religious Studies, Faculty of Arts, Charles University, Prague, Czech Republic “Inferentialism and Music: the Art of Implication and Negation”
Workshop Logic and Music

Srećko Kovač
Institute of Philosophy, Zagreb, Croatia
“Evidence and self-evidence in the foundations of logic”
Workshop Logical Correctness

Stanisław Krajewski
Institute of Philosophy, University of Warsaw, Poland
“Characterizing Context-Independent Logical Notions Among the Context-Dependent Ones. The Case of Quantifiers and Inferences”
Workshop The Lvov-Warsaw School
“Characterizing Context-Independent Logical Notions Among the Context-Dependent Ones. The Case of Quantifiers and Inferences”
Session Universal

Krzysztof Krawczyk and Tomasz Jarmużek
Department of Logic, Nicolaus Copernicus University, Toruń, Poland
“Tableau Systems for Epistemic Interpretations of Jerzy Łoś's R-Operator Logics”
Session Tools & Results
“Tableau Approach to Epistemic Logic Based on Relating Logics”
Workshop Hintikka


Maurício Kritz
National Laboratory for Scientific Computation, Petrópolis, Rio de Janeiro, Brazil
“A Common Framework for the Empirical Sciences”
Session Philosophy

Jean Krivine and Adrien Husson
Institute of fundamental research in Informatics, CNRS, Paris, France
“Introducing iota: a logic for biological modeling”
Workshop Dynamic Real-World Information

Andrius Kulikauskas
Department of Philosophy and Cultural Studies, Vilnius Gediminas Technical University, Vilnius, Lithuania
“Musical Activity as the Basis for the Evolution of Joint Intentionality and Nonlinear Grammar”
Workshop Logic and Music
“Visualization as Restructuring and thus a Source of Logical Paradox”
Workshop Logic for Children
“A Structural Semiotic Study of How We Use Variables in Math and Logic”
Session Language & Semiotics

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

>
Geneviève Lachance
Department of Philosophy, University of Geneva, Switzerland
“Eristic and the origin of logic”
Session History

Sébastien Lacroix
Laval University, Canada
“Vagueness in the Law and the Sorites Paradox”
Workshop Logic, Law and Legal Reasoning

Timm Lampert
Department of Philosophy, Humboldt University, Berlin, Germany
“Turing's Fallacy of Substitution”
Session Computation


Tamar Lando
Department of Philosophy, Columbia University, New York, USA
“Topology and Measure in Logics for Point-free Space”
Session Modal

Jonna Lappalaine and Eva Schwarz
School of Culture and Education, Söodertörn University, Stockholm, Sweden
“Collective Phronesis? An investigation of collective\\ judgement and professional knowledge”
The Logic of Social Practices


Gerard Renardel de Lavalette
Faculty of Science and Engineering, University of Groningen, The Netherlands
"The mathematics of derivability"
Workshop Proof Theory


Sylvain Lavelle
ICAM & EHESS, Paris, France
“The Analytic and the Synthetic. From Homology to Heterology”
Session Philosophy

Koen Lefeverand Gergely Székely
Vrije Universiteit Brussel, Brussels, Belgium; Alfr\'ed Rényi Institute for Mathematics, Budapest, Hungary
“Comparing Classical And Relativistic Kinematics In First-Order Logic”
Session Tools & Results


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

Dorota Leszczyńska-Jasion
Adam Mickiewicz University, Poznań, Poland
“Polish trends in the logic of questions”
Workshop The Lvov-Warsaw School

Samuel Lézé
Ecole Normale Supérieure, Lyon, France
“Pathology of logical thought: Paranoia as a case study”
Workshop Sociology and Anthropology of Logic

Javier Legris
CONICET, University of Buenos Aires, Argentina
“Note on Paul Hertz and the Orgins of the Sequent-Notation”
Workshop Writing and Reading in Logic


Jens Lemanski
FernUniversität Hagen, Germany
“Squares, Cubes and Circles - Sketches of Oppositional Geometry between Geulincx and De Morgan”
Workshop Logical Geometry


Dorota Leszczynska-Jasion and Szymon Chlebowski
Department of Logic and Cognitive Science, Adam Mickiewicz University, Poland
"Distributive Deductive Systems: the case of the First-Order Logic"
Workshop Proof Theory

Yu Li
and Jian Ming Zhou
MIS, University of Picardie Jules Verne, Amiens, France
“Nondeterminism and Chinese Traditional Logic”
Session History


Douglas Lind
Department of Philosophy, Virginia Tech College of Liberal Arts and Human Sciences, USA
“Abductive Inference in Legal Reasoning: Reconceiving Res Ipsa Loquitur”
Workshop Logic, Law and Legal Reasoning

Alexander Linsbichler
University of Vienna, Austria
“Truth-tables and Tautologies in Early Logical Empiricism: Hans Hahn as a Pioneer of Logical Pluralism”
Workshop Writing and Reading in Logic

Clément Lion
STI, CNRS, Charles de Gaulle University, Lille, France
“Universality and intersubjectivity of mathematical constructions. Toward a dialogical reading of Brouwer's proof of the bar theorem”
Session Philosophy of Mathematics

Vladimir Lobovikov
Department of Philosophy, Ural Federal University, Russia
“Moving from the Opposition of Normal and Non-Normal Modal Logics to Universal Logic: Synthesizing T, S4, Tr, Verum and Falsum systems by the Square and Hexagon”
Session Modal

Goran Lojkic
Institute of Philosophy, Zagreb, Croatia
“Type Theory and the Theory of Forms”
Session Tools & Results


Giulia Lorenzi
Department of Philosophy, University of Milan, Milano, Italy
“Listening and Reading: Temporalities of Musical Performance and Notation”
Workshop Logic and Music

Daniel Lovsted
Departments of Philosophy and Computer Science, McGill University, Canada
“On the Notation of Fred Sommers’ Traditional Formal Logic”
Workshop Writing and Reading in Logic

Robert Lowe
Department of Applied Information Technology Division of Cognition and Communication, University of Gothenburg, Sweden
“Bridging Habits and Cognition: Inference and Category Learning through Neural-Dynamic Logic”
The Logic of Social Practices

Noemi Lubomirsky, Jose Luis Castiglioni and Manuela Busaniche,
CONICET, National University of La Plata, Argentina and Institute of Applied Mathematics of the Coast, National University of the Littoral, Santa Fe, Argentina
“Prime and maximal filters for the free algebra in the subvariety of BL-algebras generated by [0,1]MV + H”
Session Algebra & Category

Piotr Łukowski
Department of Computer Science, Institute of Psychology, University of Łódź, Poland
“The logic of content and contentual understanding of sentences”
Session Philosophy

Svetlana Lutsak
M. Kozybayev North-Kazakhstan State University, Petropavlovsk, Kazakhstan
“The complexity of quasivariety lattices”
Workshop Model Theory

Marcin Łyczak
Institute of Philosophy, Cardinal Stefan Wyszyński University, Warsaw, Poland
“The Logic of Change LC enriched by Leibnizian modalities”
Session Modal

Zoe MacConaughey
STK, CNRS, Université Lille 3, France and Université du Québec, Montréal, Canada
“Dialogues and Strategies in Aristotle's Logic: Furthering Hintikka's Insights”
Workshop Hintikka

William James MacCurdy,
Department of English and Philosophy, Idaho State University
“A Peircean Logic of Operations”
Workshop Around Peirce

Brian MacPherson
Department of Philosophy, University of Windsor, Canada
“Should Hegel's theory of the syllogism be included in the history of logic?”
Session History

María Manzano, Manuel A.Martins and Manuel C.Moreno
University of Salamanca, Spain, Center for Research and Development in Mathematics and Applications, Department of Mathematics, University of Aveiro, Portugal
“Intensionality as a unifier: Logic, Language and Philosophy”
Session Universal

Lorenzo Magnani
Department of Humanities, Philosophy Section, University of Pavia, Italy
“Moral Bubbles in Action”
The Logic of Social Practices

Erik Marcade
VP of Advanced Analytics at SAP
“Impacts of Statistical Learning Theory for Enterprise Software”

Sérgio Marcelino and Carlos Caleiro
Security and Quantum Information Group, Telecommunications Institute, Department of Mathematics, Higher Technical Institute, University of Lisbon, Portugal
“Semantics for combined Hilbert calculi” “Modular analysis of Hilbert calculi”
Session Universal Logic

Bojan Marinkovic, Bojan Zoran Ognjanovic and Paola Glavan
Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade, Serbia; Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb, Croatia
“Correctness and Strong Completeness for Logic of Time and Knowledge”
Session Modal


Réka Markovich
Centre for Philosophy of Natural and Social Sciences, London School of Economics and Political Science, UK; Department of Logic, Eötvös Loránd University, Hungary; Department of Business Law, Budapest University of Technology and Economics, Hungary
“A Formal Analysis of (Human) Rights and (State) Duties”
Workshop Logic, Law and Legal Reasoning

Tony Marmo
Federal University of Rio de Janeiro, Brazil
“On Dissent Pluralism and Paradigm-shifts from plural perspectives”
Session Universal

Ben Martin
Queen's University, Kingston, Canada
“What is a Contradiction?”
Workshop Reflections on Paraconsistency
“Identifying Logical Evidence”
Workshop Logical Correctness

John Martin
University of Cincinnati, USA
“Renaissance Analysis as a Solution to the Problem of Induction”
Session History

Manuel A.Martins and Diana Costa
Department of Mathematics, University of Aveiro, Portugal
“How to Compose Programs in Belnapian Dynamic Logic?”
Workshop Reflections on Paraconsistency

Ingolf Max
Section of Logic and Theory of Science, Department of Philosophy, University of Leipzig, Leipzig, Germany
“Is there any logic of harmony?”
Workshop Logic and Music

Caio de Andrade Mendes and Hugo Luiz Mariano
University of São Paulo, Brazil
“An Abstract Approach to Algebraizable Logics with Quantifiers”
Workshop Categories and Logic

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”
Session Non-Classical Logics


Nikolay Milkov
Paderborn University, Germany
“Stereology”
Session Philosophy

David Miller
Department of Philosophy, University of Warwick, Coventry, UK
“Cohen's Criticisms of the Use of Probability in the Law”
Workshop Logic, Law and Legal Reasoning


Giulia Miotti
Department of Philosophy, Sapienza University of Rome, Italy
“Discovery in mathematics from a heuristic perspective: the case of the calculus and its development”
Session Philosophy of Mathematics

Giovanni Mion
Department of Humanities and Social Sciences, Istanbul Technical University, Turkey
“Hintikka on the Kant-Frege view: A critical assessment”
Workshop Hintikka

Alireza Mofidi
Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran
“On combinatorial features of definable set systems”
Workshop Model Theory

Hesam Mohamadi
Department of Philosophy, Tarbiat Modares University, Iran
“Judgement based on chance in legal ties”
Workshop Logic, Law and Legal Reasoning

Douglas Moore
“Theory of Forms : a reconstruction of ancient metaphysics applied to the logical foundations of modern physics”
Workshop Logic and Physics

Enrico Moriconi
Dipartimento di Civiltà e Forme del Sapere, Università di Pisa, Italy
"Remarks on Sequent Calculus"
Workshop Proof Theory

Joachim Mueller-Theys
Independent Scholar, Heidelberg, Germany
“Propositional Probability Logic”
Workshop Logic, Probability, and their Generalizations

Roman Murawski
Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Poznań, Poland
“Ontology of logic and mathematics in the Lvov-Warsaw School”
Workshop The Lvov-Warsaw School
“On Two Mutually Inverse Isomorphisms between NEmHC and NEK4.Grz”
Session Algebra & Category

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”
Session Non-Classical Logics

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”
Session Non-Classical Logics

Marek Nasieniewski, Krystyna Mruczek-Nasieniewska
and Andrzej Pietruszczak
Department of Logic, Nicolaus Copernicus University, Torun, Poland
“Modal logics obtained by means of Jaskowski's model\\ of discussion”
Session Modal

Raja Natarajan
School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, India
“Coloring Venn Diagrams”
Session Tools & Results

Raja Natarajan and Abhishek Kr. Singh
School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, India
“Towards formalizing finite set Combinatorics in Type theory”
Session Computation


Mykola Nikitchenko and Stepan Shkilniak
Taras Shevchenko National University of Kyiv, Ukraine
“Extending Classical Logic with Quasiary Predicates”
Session Computation

Hans Christian Nordtveit Kvernenes
Department of Philosophy, Université Lille 3, France
“A Dialogical Framework for Analogy in European Legal Reasoning”
Workshop Logic, Law and Legal Reasoning

Cyrus F.Nourani and Johannes Fähndrich
AI Labs, Berlin Institute of Technology, Germany
“Direct Products on Computing Languages and Models:A preliminary”
Session Computation

Marek Nowak
Department of Logic, University of Łódź, Poland
“Disjunctive and conjunctive multiple-conclusion consequence relations”
Session Universal

Fernando Lucatelli Nune
Centre for Mathematics, University of Coimbra, Portugal
“Elementary introduction to pasting”
Workshop Logic for Children

Eduardo Ochs
Department of Natural Sciences, Fluminense Federal University, Rio das Ostras, Brazil
“Visualizing Geometric Morphisms”
Session Algebra & Category

Elizabeth Olsen
School of History, Philosophy, Political Science and International Relations, Victoria University, Wellington, New Zealand
“What Philosophy of Logic are we Teaching?”
Session Philosophy

Stefano Papa
University of Vienna, Austria
“The Contention over Algebra and the Perpetual Peace of Intuitionism. On the Role of Linguistic Modelling and Formalism in Quantum Mechanics”
Workshop Sociology and Anthropology of Logic

Rohit Parikh
City University of New York, USA
“Fuzzy Logic and Communication in a Social Context”
Session Non-Classical Logics


Anca Pascu, Jean-Pierre Desclés and Ismail Biskri
Université de Bretagne Occidentale, Brest, France, Université Paris-Sorbonne, France and Universit\'e de Québec, Trois Rivières, Canada
“Some mathematical approaches for defining the notion of quasi-topology”
Session Tools & Results


Fabrice Pataut
SND, Pantheon-Sorbonne University, Paris, France
“A Reply to Logical Revisionists: Strict Finitism, Feasibility”
Session
Session Tools & Results

Joel Patomaki
Department of Social Sciences and Philosophy, University of Jyväaskylä, Finland
“John Searle as Practice Theoretician”
The Logic of Social Practices

Sergey Pavlov
Institute of Philosophy, Moscow, Russia
“On Generalized Unified Boolean-Fregean Semantics”
Session Tools & Results

Inessa Pavlyukand Sergey Sudoplatov
State Technical University, Novosibirsk State University and Sobolev Institute of Mathematics, Novosibirsk
“On e-spectra for families of theories of Abelian groups”
Workshop Model Theory

Carlos Pelta
Department of Basic Psychology II (Cognitive Processes), Complutense University of Madrid, Spain
“Partiality, Ignorance and Logical Consequence in L3”
Workshop Logics and Metalogics

Mikhail Peretyat’kin
Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan
“A definition to the concept of a model-theoretic property with applications in model theory”
Workshop Model Theory

Ahti-Veikko Pietarinen and Francesco Bellucci
Nazarbayev University, Kazakhstan and Department of Philosophy and Communication, University of Bologna, Italy
“Frege and Peirce on the signs of generality”
Workshop Around Peirce

Aleksandr Pinus
Novosibirsk State Technical University, Russia
“The lattices of bounded based subvarieties of discriminator varieties”
Workshop Model Theory


Arnaud Plagnol
University Paris 8 and IHPST, France
“Is logic a theory of symbolization?”
Workshop Naming Logics II

Marek Porwolik
Cardinal Stefan Wyszyński University, Warsaw, Poland
“The application of Cz.\ Lejewski's Chronology in determining mereological genidentity”
Workshop The Lvov-Warsaw School

Graham Priest
Graduate Center, City University of New York, USA
“Dialetheic Validity”
Workshop Logics and Metalogics

Jiri Raclavsky
Masaryk University, Brno, Czech Republic
“The Rule of Explicit Substitution into (Hyper)intensional Contexts”
Session Tools & Results

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”
Session Non-Classical Logics

William Rawleigh
Institute of the History and Philosophy of Science and Technology, University of Toronto, Canada
“On the Status of Questions in the Practice of Science”
Session Philosophy

Vladimir Reznikov
Institute of Philosophy and Law, Novosibirsk State University, Russia
“On the universality of the probability concepts”
Workshop Logic, Probability, and their Generalizations


Laura Rifo
State University of Campinas, UNICAMP, Brazil
“Subjectivism and inferential reasoning on teaching practice”
Workshop Logic for Children


Serge Robert
Department of Philosophy, University of Québec, Montréal, Canada
“A Modal Logics Framework for the Modeling of Human Reasoning”
Session Modal

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”
Session Non-Classical Logics

Abilio Rodrigues and Walter Carnielli
Federal University of Minas Gerais, Brazil, University of Oxford, UK and Centre for Logic, Epistemology and the History of Science, Department of Philosophy, State University of Campinas, Brazil
“Paraconsistency, evidence and probability”
Workshop Logic, Probability, and their Generalizations

Andrei Rodin
Saint-Petersburg State University, Russia
“Rules versus Axioms: a Constructive View of Theories”
Session Computation

Cassiano Terra Rodrigues
Department of Philosophy, Pontifical Catholic University of São Paulo, Brazil
“G. Boole, A. De Morgan and C. S. Peirce at the birth of symbolic logic”
Workshop Around Peirce

Claude Rosenthal
CEMS, IMM, CNRS, EHESS, Paris Research University, France
“Learning Logic in a Department of Philosophy: an Ethnographical Account”
Workshop Sociology and Anthropology of Logic

Tabea Rohr
Institute of Philosophy, Friedrich-Schiller-Universitat Jena, Jena, ¨ Germany
“Truth Tables without Truth Values. On 4.27 and 4.42 of Wittgenstein’s Tractatus”
Workshop Writing and Reading in Logic


Nick Rossiter and Michael Heater
Northumbria University, Newcastle, UK
“Musical Performance: a Composition of Monads”
Workshop Logic and Music

Nick Rossiter and Michael Heather
Northumbria University, UK and University of Cambridge, UK; Trinity College, Ireland
“What is Law?: the perception of Category Theory”
Session Philosophy of Mathematics


Gregory Rupik and Hakob Barseghyan
Margherita von Brentano Center, Free University of Berlin, Germany and Institute for the History and Philosophy of Science and Technology, University of Toronto, Canada, “When Science Is and Isn't Paraconsistent”
Workshop Sociology and Anthropology of Logic

John Samuel and Christophe Rey
CPE, University of Lyon, France and LIMOS, University Clermont-Auvergne, France
“Datalog access to real-world web services”
Workshop Dynamic Real-World Information

Erdinc Sayan
Department of Philosophy, Middle East Technical University, Ankara, Turkey
“Is the Logic Behind Cantor's Theory of Transfinite Numbers Sound?”
Session Philosophy of Mathematics

Benoît Sauzay and Gaëll Guibert
Paris, France
“Embodiment of some Logical, Computable and Categorical Notions by a Logic of Operators”
Session Tools & Results

Fabien Schang
Federal University of Goias, Brazil
“End of the Square?”
Workshop Logical Geometry
“S5 is a semi-bivalent logic, and so is classical logic”
Session Universal

Eleonoura Enoque da Silva and Giovanni Silva Queiroz
Department of Philosophy, Federal University of Paraíba, Brazil
“Semantic Construction for Hilbert's Category”
Session Algebra & Category

Ricardo Silvestre
Federal University of Campina Grande, Paraiba, Brazil
“Logic, Philosophy and Philosophical Logic”
Workshop Naming Logics II

Krzysztof Śleziński
Institute of Educational Science, Cieszyn, Poland, University of Silesia, Katowice, Poland
“Structural investigation of the categorial logic-geometrical system”
Session Philosophy of Mathematics

Philippe Sormani
Science and Technology Studies Lab, University of Lausanne, Switzerland and CEMS, IMM, EHESS, France, “Logic-in-Action? AlphaGo, Surprise Move 37 and Interaction Analysis”
Workshop Sociology and Anthropology of Logic

Carlos Mario Márquez Sosa
Pontifical Catholic University of Rio de Janeiro, Brazil
“Singular reference, dynamic thoughts and spatial representation”
Workshop Dynamic Real-World Information

George Spofford, “Combining logic and mathematics with empirical concepts to reason effectively about the world
Workshop Dynamic Real-World Information

Todd Stambaugh and Rohit Parikh
City University of New York, USA
“Knowledge, Behavior, and Rationality”
Session Philosophy


Irina Starikova
Department of Philosophy, University of Sãp Paulo, Brazil
“Visual Images and Non-Deductive Rules in Mathematical Discovery”
Session Philosophy of Mathematics

Petros Stefaneas, Yiannis Kiouvrekis and Sergey Sudoplatov
Department of Mathematics School of Applied Mathematical and Physical Sciences, National Technical University of Athens (NTUA), Greece and Sobolev Institute of Mathematics, Novosibirsk
“Calculi for definable sets”
Workshop Model Theory

Alena Stepanova and Denis Ptakhov
Far Eastern Federal University, Vladivostok, Russia
“Axiomatizability of the class of subdirectly irreducible acts over a group”
Workshop Model Theory Julio Michael Stern, Luís Gustavo Esteves, Rafael Izbicki, and Rafael Bassi Stern
University of São Paulo, Brazil and Federal University of São Carlos, Brazil
“Logical Modalities in Statistical Models”
Workshop Logic, Probability, and their Generalizations

Lutz Strassburger
INRIA Saclay - Île-de-France, Palaiseau, France
"From Syntactic Proofs to Combinatorial Proofs"
Workshop Proof Theory
“Nested Sequents, Focusing, and Synthetic Connectives”
Session Tools & Results

David Stodder
The Data Warehousing Institute, Research for Business Intelligence
“Smart, Sentient and Connected: Trends and Directions in Information-Driven Applications”
Workshop Dynamic Real-World Information

Sergey Sudoplatov, Petros Stefaneas, Yiannis Kiouvrekis
Sobolev Institute of Mathematics, Novosibirsk and Department of Mathematics School of Applied Mathematical and Physical Sciences, National Technical University of Athens (NTUA), Greece
“On lattices in generative classes”
Workshop Model Theory

Dariusz Surowik
Łomźa State University of Applied Sciences
“Lvov-Warsaw School and Artificial Intelligence”
Workshop The Lvov-Warsaw School

Kordula Świętorzecka
epartment of Logic and Methodology of Science, Cardinal Stefan Wyszyński University, Warsaw, Poland
“Formal intensional semantics of Aczel applied to Bolzanian substantial metaphysics”
Session Philosophy


Valérie Lynn Therrien
Western University, London, Ontario, Canada
“The Axiom of Choice and the Road Paved by Sierpiński”
Workshop The Lvov-Warsaw School

Jolly Thomas
International Institute of Information Technology, Hyderabad, India
“Formalizing Ontological Disputes of the Systems in Metaphysics by Augmenting First Order Quantificational Logic: A Meta-logical Inquiry”
Workshop Logics and Metalogics

Erik Thomsen
Blender Logic, Cambridge, USA
“Logic-Grounded Ontological Fusion of Sensor Data\\ and Natural Language”
Workshop Dynamic Real-World Information

Tinko Tinchev
Department of Mathematical Logic and its Applications, Sofia University, Bulgaria
“Modal approach to region-based theories of space: undecidability of modal definability”
Session Modal

Tinko Tinchev and Philippe Balbiani
Department of Mathematical Logic and its Applications, Sofia University, Bulgaria; Institut de Recherche en Informatique de Toulouse; France
“On the modal and first-order definability”
Session Modal

Marcin Tkaczyk and Anna Maria Karczewska
John Paul II Catholic University of Lublin, Poland
“Jerzy Łoś Juvenilia”
Workshop The Lvov-Warsaw School

Zeno Toffano
CentraleSupélec, CNRS-L2S, Gif-sur-Yvette, France
“Eigenlogic”
Workshop Logic and Physics


Fernando Tohmé and Gustavo Adrían Bodanza
IIESS, INMABB, CONICET, Universidad Nacional del Sur, Argentina
“Analytic Tableaux for Argumentation Frameworks”
Session Argumentation


Adam Trybus
Institute of Philosophy, University of Zielona Góra, Poland
“Paraconsistency meets refutation: a case of maximality”
Workshop Reflections on Paraconsistency

Hsing-chien Tsai
Department of Philosophy, National Chung-Cheng University, Chiayi, Taiwan
“On First-order Mereological Complementation”
Session Tools & Results


Sean Tull
University of Oxford
“A Categorical Reconstruction of Quantum Theory”
Workshop Logic and Physics

Jamalbek Tussupov
L.N. Gumilev Eurasian National University, Astana, Kazakhstan
“Transformation and Categoricity Spectrum”
Workshop Model Theory

Olga Ulbrikht and Aibat Yeshkeyev
Karaganda State University named after academician E.A. Buketov, Kazakhstan
“The nonforking notion for Jonsson sets”
Workshop Model Theory


Rafał Urbaniak
Centre for Logic and Philosophy of Science, Ghent University, Belgium and Institute of Philosophy, Sociology and Journalism, University of Gdańsk, Poland
“Narrations in judiciary fact-finding and the difficulty about conjunction”
Workshop Logic, Law and Legal Reasoning
“Abstraction principles via Leśniewskian definitions:\\ potential infinity and arithmetic”
Workshop The Lvov-Warsaw School

Max Urchs
EBS University of Business and Law, Wiesbaden, Germany
“Coping with inconsistencies in legal reasoning”
Workshop Logic, Law and Legal Reasoning
“Reasoning about Complexity Needs Reflections on Paraconsistency”
Workshop Reflections on Paraconsistency

Gulzhan Urken and Aibat Yeshkeyev
Karaganda State University named after academician E.A. Buketov, Kazakhstan
“Similarity of definable closures of Jonsson sets”
Workshop Model Theory

Victor Aranda Utrero
Faculty of Philosophy and Letters, Autonomous University of Madrid, Spain
“The origin of semantics in formal languages”
Session Philosophy


Katherine Valde
Philosophy Department, Boston University, USA
“On the Possibility of Metaphysical Dialetheism”
Workshop Reflections on Paraconsistency

Ranjith Venkatrama, Roberto Giuntini, Giuseppe Sergioli
Università degli Studi di Cagliari, Cagliari, Italy
“Negations and Truth-perspectives pertaining to Qudit based Multi-valued Quantum Computational Logics”
Workshop Logic and Physics

Viktor Verbovskiy
Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan
“Dimension, ranks and their applications to algebraic structures”
Workshop Model Theory

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


Denis Vernant
University of Grenoble-Alpes, France
“On the universality of the principle of determination”
Session Philosophy

Francisco Antonio Vibrentis and José Luis Castiglioni
CONICET, Faculty of Exact Sciences, National University of La Plata, Argentina
“Interchangeable formulas and categories of logics”
Workshop Categories and Logic

Ruxandra Irina Vulcan
University Paris Sorbonne, France
“Alsteed's Encyclopedy”
Session History

Felix Wellen
Carnegie Mellon University, Pittsburgh, USA
“Differential Geometry in Modal Type Theory”
Workshop Categories and Logic

Daniel Wenz
Independent scholar, Germany
“Category Theory and Logical Geometry - Is a Commutative Diagram an Aristotelian Diagram?”
Workshop Logical Geometry

Krzysztof Wójtowicz
Departement of Philosophy, University of Warsaw, Poland
“Explanation and existence in mathematics”
Session Philosophy of Mathematics

Jan Woleński
Department of Social Sciences, University of Information, Technology and Management, Rzeszów, Poland
“Tarski: Logical Concepts as Invariants”
Session Universal
“Logic does not distinguish any extralogical content”
Session Philosophy
“Jerzy Słupecki and the Consequence Operation”
Workshop The Lvov-Warsaw School

Marcin Wolski
Department of Logic and Cognitive Science, Maria Curie-Skłodowska University, Lublin, Poland
“The Rasiowa-Pawlak School: From Algebra of Logic to Algebra of Data (and Back)”
Workshop The Lvov-Warsaw School

Uwe Wolter
Department of Informatics, University of Bergen, Norway
“A Universal Language for First-Order Constraints”
Session Computation

Uwe Wolterand Cyril Pshenichny
Department of Informatics, University of Bergen, Norway and Saint-Petersburg National Research University of Information Technologies, Russia
“A Universal (?) Framework for Representing Knowledge\\ about Real World Phenomena”
Workshop Dynamic Real-World Information

Aibat Yeshkeyev and Maira Kassymetova
Karaganda State University named after academician E.A. Buketov, Kazakhstan
“Pregeometry on subsets of fragment of Jonsson set”
Workshop Model Theory

>
Byeong-uk Yi
Department of Philosophy, University of Toronto, Canada
“Two Syllogisms in the Mozi: Chinese Logic and Language”
Session History

Veta F. Yun and Larisa L. Maksimova
Sobolev Institute of Mathematics, Novosibirsk State University, Russia
“Strong decidability of the classicfication over Gl”
Workshop Model Theory

Piedad Yuste
Departament of Philosophy, National Distance Education University, Spain
“The Lvov-Warsaw School and Indian Logic”
Workshop The Lvov-Warsaw School


Urszula M. Zegleń
Department of Cognitive Science and Epistemology,\\ Institute of Philosophy, Nicolaus Copernicus University, Toruń, Poland
“How to reply today to the issues raised by Kazimierz Twardowski in his Images and Concepts (1898)”
Workshop The Lvov-Warsaw School

Frank Zenker
Department of Philosophy, Lund University, Sweden
“How not to aggregate reasons”>
Session Argumentation


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”
Session Non-Classical Logics

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”
Session Non-Classical Logics

Suren Zolyan
Institute of Philosophy and Law, National Academy of Sciences of Armenia, Armenia
“Logic of preferences and a settlement of conflicts (based on the example of the Nagorno-Karabakh conflict”
The Logic of Social Practices


Xiaohui Zou and Shunpeng Zou
China University of Geosciences, Beijing, China and Searle Research Center, University of California, Berkeley, USA
“Bilingual Logic Based on the Scientific Method System”
Session Language & Semiotics

William Zuluaga
CONICET, National University of Cordoba, Argentina
“A Pierce representation theorem for varieties with BFC”
Workshop Categories and Logic