CONTRIBUTING SPEAKERS


Sama Agahi
Dpt of Philosophy, Stockholm University, Sweden
"Keeping Metatheory in check - on the Self-sufficiency of cCore logic"
Session Philosophy

Juan Carlos Agudelo
Dpt of Mathematics, University of Antoquia, Medellin, Columbia
"Polynomial Ring Calculus and Grobner Basis, Two Algebraic Resolution Methods for Classical and Non-classical Logics"
Session Algebra & Category

Bruno Bentzen Aguiar
Dpt of Philosophy, Federal University of Pernambuco, Brazil
"What is not Frege’s Julius Caesar Problem?"
Session Philosophy

Patrick Allo
Centre for Logic and Philosophy of Science Brussels Free University, Belgium
"Synonymy and Intra-Theoretical Pluralism"
Session Philosophy

Edgar L.B. Almeida and Rodrigo A. Freire
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Existence Axioms in Second-Order Arithmetic"
Session Quantifiers

Dante Cardoso Pinto de Almeida and Itala Maria Loffredo D’Ottaviano
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Affinity among some epistemic paradoxes"
Session Paradoxes

Clint van Alten
School of Computer Science University of the Witwatersrand, Johannesburg, South Africa
"Partial Algebraic Semantics"
Session Algebra & Category

Peter Arndt
Dpt of Mathematics, University of Regensburg, Germany
"Homotopical Fibring"
Session Combination

Arnon Avron
Department of Computer Science, University of Tel-Aviv, Israel
"The Classical Constraint on Relevant Logics"
Workshop Relevant Logics

Arnon Avron
Department of Computer Science, University of Tel-Aviv, Israel
"Semi-Canonical Systems and their Semantics"

Worskhop Many-Valued Logics

Inge De Bal and Peter Verdee
University of Ghent, Belgium
"Bringing Logic to the People. A Diagrammatic Proof System for Classical Logic extended with a Pseudo-relevant Implication."
Session Tools

Gilead Bar-Elli
Dot of Philosophy, Hebrew University of Jerusalem, Israel
"The Universality of Logic – a Non-Semantic Approach"
Session Universal

Roderick Batchelor
Dpt of Philosophy, University of São Paulo - USP, Brazil
"The Problem of Relations"
Workshop Logic and Metaphysics

Libor Behounek and Petr Cintula
Institute of Computer Science, Academy of Sciences of Czech Republic and Center of Excellence IT4Innovations, Division University of Ostrava, Institute for Research and Applications of Fuzzy Modeling
"Multiset Consequence Relations for Substructural Logics"
Session Tools

Francesco Bellucci
University of Siena, Italy
"Charles S. Peirce and Friedrich A. Lange on diagrammatic thinking"
Workshop Scope of Logic

Rainhard Z. Bengez
TUM, Muncih, Germany
"Can we omit Cantor's diagonalization argument in Gödel's incompleteness theorem?"
Session Philosophy

Juan Manuel Campos Benítez
Benemérita Universidad Autónoma de Puebla, Mexico
"The Medieval Modal Octagon and the S5 Lewis Modal System"
Workshop Medieval Logic

Bruno Bentzen
Dpt of Philosophy, Federal University of Pernambuco - UFPE, Brazil
"What is not Frege’s Julius Caesar Problem?"
Workshop Logic and Metaphysics


Christoph Benzmüller
Department of Mathematics and Computer Science, Free University of Berlin, Germany
"Higher-Order Logic based Universal reasoning"
Session Universal

Olexiy Billyk
Kharkiv National Karazin University, Ukraine
"Models in constructions of scientific knowledge?"
Session Empirical

Frode Bjørdal
University of Oslo, Norway
"A Sober Librationist Interpretation of ZF"
Workshop Non-Classical Mathematics


Marjon Blondeel, Martine De Cock, Tommaso Flaminio, and Lluis Godo
Department of Computer Science, Vrije Universiteit Brussel, Belgium - Dept. of Applied Mathematics and Computer Science, Ghent University, Belgium and Artificial Intelligence Research Insitute, CSIC, Catalonia, Spain
"Complexity Fuzzy Possibilistic Modal Logics"
Worskhop Many-Valued Logics

Laurence Bouquiaux
University of Liège, Belgium
"Développement de l’encyclopédie et élaboration d’une logique formelle: le sens du projet Leibnizien"
Workshop Scope of Logic

Ross Brady
Department of Philosophy, La Trobe University, Melbourne, Australia
"Metavaluation"
Workshop Relevant Logics

Natalia M.Buacar
University of Buenos Aires and CONICET, Argentina
"The Universalist Conception and the Justification of Logic"
Session Philosophy

Arthur Buchsbaum and Alvaro Altair Ferreira da Silva
Dpt of Computer Sciences, Federal University of Santa Catarina - UFSC, Brazil
"A Generalization of the Principles of Weak Induction, Complete Induction and Well Order and Their Equivalence Conditions"
Session Class

Andre Bazzoni Bueno
IHPST, University Panthéon-Sorbonne, Paris 1, France
"Individuals, Reference, and Possible Worlds"
Session Modal

Otavio Bueno
Dpt of Philosophy, University of Miama, USA,
"Second-order Logic and Unrestricted Quantification"
Workshop Between 1st and 2nd Order Logic

Juliana Bueno-Soler
Federal University of ABC, São Paulo, Brazil
"Paraconsistent Description Logics from the Formal-Consistency Viewpoint"
Workshop Thinking and Rationality

Carlos Caleiro and Sérgio Marcelino
Security and Quantum Information Group, Institute for Telecommunications, IST, Lisbon, Portugal
"Combining logics, Cryptofibred Semantics and Completeness Preservation"
Session Combination

Claudio Callejas and João Marcos
LoLITA and DIMAp, UFRN, Natal, Brazil
A Contribution towards a Cartography of Fuzzy Equivalence Operators
Session Many-Valued Logics

Hélio Rebello Cardoso, Jr.
Computer-Assisted Mathematics
State University of São Paulo, UNESP, Brazil
"Peirce’s Hint on the Inclusive Disjunction according to his Mathematics of Discrete Series"
Session History

Walter Carnielli
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Evading Gödel's Theorems?"
Workshop Thinking and Rationality

Luís Farinas del Cerro and Newton Peron
IRIT/Université Paul Sabatier, Toulouse, France and Center of Logic, State University of Campinas - UNICAMP, Brazil
"Non-deterministic Matrix Semantics for Modal Logic"
Session Many-Valued Logics

Saloua Chatti
Department of Philosophy, University of Tunisia, Tunis
"Syncategoremata in Arabic Logic"
Workshop Medieval Logic

Ana Cholodovskis
Center of Logic, State University of Campinas - UNICAMP, Brazil
"LFIs and Non-Monotonicity"
Workshop Thinking and Rationality

Petr Cintula and Carles Nogueira
Institute of Computer Science, Academy of Sciences of Czech Republic and Artificial Intelligence Research Institute, Spanish Council for Scientific Research, Spain
"A note on the hierarchy of algebraizable logics"
Session Algebra & Category

Alex Citkin
Metropolitan Telecommunications, New York, USA
"Ternary Deductive Term and Structural Completeness"
Session Algebra & Category


Liron Cohen
Department of Computer Science, University of Tel-Aviv, Israel
"Ancestral Logics "
Workshop Between 1st and 2nd Order Logic


Pietro Codara
Dpt of Informatics, University of Milan, Italy
"On Valuations in Gödel and Nilpotent Minimum Logics"
Session Tools


Marcelo Coniglio and Tarcisio G.Rodrigues
Center of Logic, State University of Campinas - UNICAMP, Brazil
"New Results on mbC and mCi"
Workshop Thinking and Rationality

Roy Cook
Dpt of Philosophy, University of Minnesota, Minneapolis, USA,
"Possible Predicates, Actual Properties, and Hale’s Principle"
Workshop Between 1st and 2nd Order Logic

María Inés Corbalán
State University of Campinas - UNICAMP, Brazil
"Inflected Infinitive, Control and Anaphora in Portuguese"
Workshop Logic and Linguistics

Fabio Corpina
Dep. of Pedagogy, Psychology, Philosophy, University of Cagliari, Italy
"The Master Argument and the Truth Criterion for Conditional Sentences"
Session History

Richard Crouch and Valeria de Paiva
Nuance Communications, USA
"If, not when"
Workshop IMLA 6.0

José David Fernández Curado and Renata Wassermann
Dpt of Mathematics, USP, Brazil
"Belief Revision in Description Logics with Tipicality"
Session Class

Sun Demirli
Dpt of Philosophy, Bosphorus University, Turkey
"Two Leibnizian Theses, the Bundle Theory and the Plural Predication"
Workshop Logic and Metaphysics

Jean-Pierre Desclés, Anca Pascu and Hee-Jin Ro
STIH-LaLIC, University Paris-Sorbonne, Paris IV, France
"Aspecto-Temporal Meanings Analyzed by means of Combinatory Logics"
Workshop Logic and Linguistics

Diogo Henrique Bispo Dias
Dpt of Philosophy, PUC-SP, Brazil
"Classical and Paraclassical logics: A case of combination and analysis of different logics"
Session Combination

Adriano Dodó and João Marcos
Dpt of Informatics and Applied Mathematics, UFRN, Natal, Brazil
"A rich language for negative modalities"
Workshop IMLA 6.0

Laurent Dubois
University of Brussels, Belgium
"Lambda theory: introduction of a constant for nothing into set theory, a model of consistency and most noticeable conclusions"
Session Tools

Matt Duncombe
University of Groningen, The Netherlands
"Irreflexivity and petitio principii in Aristotle’s Prior Analytics"
Workshop Scope of Logic


Jacques Duparc
Faculty of Business and Economics, University of Lausanne, Switzerland
"Games, Non-Selfdual Sets, and Conciliatory Sets"
Session Tools

Catarina Dutilh-Novaes
Dpt of Philosophy, University of Gröningen, The Netherlands,
"Axiomatizations of Arithmetic and the First-order/Second-order Divide"
Workshop Between 1st and 2nd Order Logic

Soma Dutta and Mihir Chakraborty
Logic Circle, University of Calcutta, India
"Proof theory for the theory of graded consequence"
Session Tools

Maria Duzi and Bjorn Jespersen
Dpt of Computer Science, Technical University of Ostrava, Czech Republic
"A plea for B-conversion by value"
Session Tools

Rodolfo Ertola
Center of Logic, State University of Campinas - UNICAMP, Brazil and National University of the South, Bahía Blanca, Argentina,
"Adding Connectives to Intuitionistic Logic"
Workshop Many-Valued Logics


David Etlin
Dpt of Philosophy, University of Gröningen, The Netherlands
"Vague Desire: The Sorites and the Money Pump"
Session Paradox

Pedro Alonso Amaral Falcão
Dpt of Philosophy, University of São Paulo - USP, Brazil
"Aspects of the Theory of Modal Functions"
Workshop Logic and Metaphysics

Christian G. Fermüller
Vienna University of Technology, Austria
"Games Semantics for Deterministic and Nondeterministic Many-Valued Logics"
Session Many-Valued Logics

Diego Fernandes and Wagner Sanz
Dpt of Philosophy, Federal University of Goias, Brazil
"AGM and Belief Revisions"
Session Modal

Sebastian E.Ferrando and Luis A. Urtubey
Dpt of Philosophy, National University of Cordoba, Argentina
"Preference and Actions A modal approach to Von Mises Time Preference"
Session Modal

Francicleber M. Ferreira
Fortaleza, Brazil
"Bounded-Degree Second-Order and Transitive Closure Logics"
Session Class


Elena Ficara
Dpt of Philosophy, University of Paderborn, Germany
"What Kind of Logic is Hegel’s Logic?"
Session History

Martin Figallo and Marcelo Coniglio
Center of Logic, State University of Campinas - UNICAMP, Brazil and National University of the South, Bahía Blanca, Argentina
"On the Relationship between Tetravalent Modal Algebras, Symmetric Boolean Algebras and Modal Algebras for S5"
Worskhop Many-Valued Logics

Josep Maria Font
Faculty of Mathematics, University of Bareclona, Spain
"A Logic with almost no Properties"
Session Class

Renata de Freitas and Petrucio Viana
Dpt of Mathematics, UFF, Niteroi, Brazil
"A graph calculus for proving intuitionistic relation algebraic equations"
Workshop IMLA 6.0

Daniel Mircea Gaina
Japan Advanced Institute of Science and Technology
"Interpolation in First Order Logics with Constructors"
Session Algebra & Category


Katarzyna Gan-Krzywoszynska and Piotr Lesniewski,
Jagiellonian University, Kraków and Adam Mickiewicz University, Poznan, Poland
"Kazimierz Ajdukiewicz on the Scope and Nature of Logic: A Case from the History of the Polish School of Logic"
Session History

Yvon Gauthier
Dpt of Philosophy, University of Montréal, Canada
"What is the Internal Logic of Constructive Mathematics ?"
Session Philosophy

Brunella Gerla, Stefano Aguzzoli and Anna Rita Ferraioli
Dpt of Informatics and Dpt of Mathematics, University of Milan, Italy and Department of Theoretical and Applied Sciences, University of Insubria, Varese, Italy
"Free Algebras In The Varieties Generated By Chang's MV-Algebra And By Jenei's Rotation of Product T-Norm"
Worskhop Many-Valued Logics


Brendan S.Gillon
Department of Linguistics, McGill University, Canada
"Complement Polyvalence and Polyadicity"
Workshop Logic and Linguistics

Raffaela Giovagnoli
Pontifical Lateran University, Vatican
"Representation: Analytic Pragmatism and AI"
Session Philosophy

Eduardo N. Giovannini
National Council of Scientific and Technical Researches (CONICET), Argentina
"Completeness and continuity in Hilbert's Foundations of Geometry: on the Vollst]andigkeitsaxiom"
Session History

Michal Tomasz Godziszewski
University of Warsaw, Poland
"Yablo Sequences – Existence, Consistency and Truth Theories"
Session Paradox

Ana Claudia de Jesus Golzio
Center of Logic, State University of Campinas - UNICAMP, Brazil
"A Propositional Logic for the term "few" presented in a Natural Deduction System"
Session Quantifiers

Gilberto Gomes
Laboratory of Cognition and Language, North Fluminense State University - UENF, Brazil
"A new theory of conditionals (almost completely made up of old ideas)"
Session Class

Walter Gomide
Dpt of Philosophy, Federal University of Matto Grosso - UFMT, Brazil
"Trans-arithmetic and the principle of non-contradiction"
Session Class

Samir Gorsky
Dpt of Philosophy, University of Brasilia, Brazil
"A Simple Solution to Ulam's Game with Lies"
Workshop Thinking and Rationality

Frédéric Goubier
University of Geneva, Switzerland
"How Many Distributions? The Late Medieval Logic of Natural Language and Its Shifting Border"
Workshop Medieval Logic

Oscar E. Gracía-Quintero and Juan Carlos Agudelo
Dpt of Mathematics, University of Antioquia, Medellin, Columbia
"Algebraic Resolution Methods for Propositional Logics Characterized by Boolean Algebras with Operators"
Session Algebra & Category

Ricardo Mendes Grande
University of São Paulo, Brazil
"On the Feynman’s quantum art of solving difficult mathematical problems by drawing simple pictures"
Session Philosophy

Joanna Grygiel, Anetta Górnicka and Katarzyna Grygiel
Institute of Mathematics and Computer Science, Jan Dlugosz University of Czestochowa, Poland
"Lattice Tolerances and their Blocks"
Session Algebra & Category

Paulo de Tarso Guerra, Aline Andrade and Renata Wassermann
Dpt of Mathematics, USP - Dpt of Computer Science, Federal University of Bahia, Brazil
"Revising formal program specifications using KMTS"
Session Class

Radomir Halas and Michal Botour,
Department of Algebra and Geometry, Palacky University in Olomouc, Czech Republic
"On Quantifiers on Pocrims"
Workshop Many-Valued Logics

Brice Halimi
University of Paris 10, France
"Geometric Modal Logic"
Session Modal


Casper Storm Hansen
Northern Institute of Philosophy University of Aberdeen, UK
"Kripke Top-Down"
Session Modal

Paul Healey
London - UK
"Freedom from the belief in ungrounded Probability Functions "
Session Class

Michal Holčapek
University of Ostrava, Czech Republic
"Fuzzy Sets and Fuzzy Classes in Universes of Sets "
Workshop Non-Classical Mathematics

Jean-Louis Hudry
University of São Paulo, Brazil
"Aristotle on Deduction: Inferential Necessity vs. Logical Validity"
Workshop Scope of Logic

Kent Hurtig
Dpt of Philosophy, University of Stirling, Scotland
"Conditionalism about the Normativity of Rationality"
Workshop Thinking and Rationality

Manuel Gustavo Isaac
LHTL, University of Paris 3 and ILPGA, University of Paris 7, France
"Logical Meaning and Linguistic Sign at the Turn of the 20th Century"
Session History

Jelena Ivetic and Pierre Lescanne
University of Novi Sad, Serbia and University of Lyon, France
"Computational Interpretations of some Substructural Logics"
Session Tools

Yu.V. Ivlev
Department of Logic, Lomonosov Moscow State University, Russia
"What is a Universal Logic?"
Session Universal

Tomasz Jarmuzek and Andrzej Pietruszczak
Department of Logic, Nicolas Copernicus University, Torún, Poland
"Semantics and Tableaus for Modal Syllogistic de re "
Session Modal

Dany Jaspers
CRISSP - HUBrussel / FormL-KULeuven, Belgium
"The Concept Formation Constraint"
Workshop Logic and Linguistics

Sándor Jenei
Dpt of Informatics, University of Pécs, Hungary
"New Involutive FLe-algebra Constructions"
Session Algebra & Category

Yaroslav Kokhan
Institute of Philosophy - Ukraine
"Predicate Logic is not Universal"
Session Universal

Michal Kozak
Poznan Supercomputing and Networking Center, Polish Academy of Sciences, Poznan, Poland
"Nuclei over (Quasi-ordered) Monoids and Symmetric Constructive FL-algebras"
Session Algebra & Category

Srecko Kovac
Institute of Philosophy, University of Zagreb, Croatia
"Proof and Causation"
Session Empirical

Bernard Kilinc
Bogazici University, Turkey
"Degrees of possibility"
Session Modal

Tatiana Kiselovia
Tbilisi State University, Department of Computer Sciences, Georgia
"A Generalized Time Quantifier Approach to Similarity-based Reasoning"
Session Quantifiers

Simon Kramer
University of Luxemburg
"Logic of Negation-Complete Interactive Proofs"
Workshop IMLA 6.0

Mauricio Kritz
National Laboratory for Scientific Computing - LNCC - Petrópolis, Brazil
"Do we need yet another logic for the living?"
Session Empricial

Marek Krótkiewicz & Krystian Wojtkiewicz
Institute of Mathematics and Informatics, Opole University, Poland
"Logic, Language and Information: Functional and structural integration without competence overstepping "
Workshop Logic and Linguistics

Tomáš Kroupa
Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic, Prague
"Many-Valued Degrees of Memberships in Coalitions: Logical and Strategical Consequences"
Workshop Many-Valued Logics

Ekaterina Kubyshkina
University Panthéon Sorbonne, Paris 1, France
"The logic of a rational agent (Many-valued logics)"
Workshop Thinking and Rationality

Sylvain Lavelle
ICAM, Paris, France
"Elements of Special and General Logic The crazy Hypothesis: Logic is about Truth, Goodness, Beauty and Utility "
Workshop Thinking and Rationality


Greg Lavers
Concordia University, Montreal, Canada
"Frege, Carnap, Explication and Pluralism"
Session History

 

 

Jui-Lin Lee
Dpt of Computer Science, National Formosa University, Taiwan
"Explosiveness and Model Existence"
Session Class

Catherine Legg
University of Waikato, New Zealand
"What Achilles did and the Tortoise wouldn't"
Session Paradox

Javier Legris
University of Buenos Aires, Argentina
"Existential Graphs as Universal Logict"
Session History

Pedro Mendes Ferreira Lemos
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Open Future and Relative Modalities"
Session Modal


Wolfgang Lenzen
University of Osnabrück, Germany
"Ockham’s Calculus of Strict Implication"
Workshop Medieval Logic

Ramaz Liparteliani
Tblisi State University, Georgia,
"Unification Problems in Finite MV-Algebras with Constants"
Worslhop Many-Valued Logics


Stathis Livadas
University of Patras, Greece
"The Metaphysical Source of Logic by Way of Phenomenology"
Workshop Logic and Metaphysics

Alexandre Madeira, Manuel A.Martins, Luis S.Barbosa
Dpt of Informatics, University of Minho and Dpt of Mathematics, University of Aveiro, Portugal
"Hybridizing logics for quantitative reasoning"
Session Algebra & Category

Ondrej Majer
Institute of Computer Science, Academy of Sciences of the Czech Republic
"A Semantics for Counterfactuals based on Formal Fuzzy Logic"
Session Tools


María Manzano
Dpt of Philosophy, University of Salamanca, Spain
"The Concept of Subset in Second-order Logic"
Workshop Between 1st and 2nd Order Logic


María Manzano, Manuel A.Martins, Anotinia Huertas
Dpt of Philosophy, University of Salamanca, Spain - Dpt of Mathematics, University of Aveiro, Portugal - Dept of Computer Science, University Oberta of Catalunya, Spain
"Identity as a Primitive in Equational Hybrid Logic"
Session Tools

Juliano Maranhão and Edelcio Gonçalves de Souza
University of São Paulo and PUC-SP, Brazil
"Belief Weakening "
Session Modal


Edwin Mares
University of Wellington, New Zealand
"What is Entailment? "
Workshop Relevant Logics

John N.Martin
Dpt of Philosophy University of Cincinnati, USA
"Leibniz’s Conceptions of Modal Necessity"
Session Modal

Alfio Martini, Edward Hermann Häuesler and Uwe Wolter
Dpt of Informatics, PUC-Rio, PUC-RS, Brazil, University of Bergen, Norway
"A Fibred and Indexed Semantics for a Hoare-like Logic"
Session Algebra & Category

Guillaume Massas
Dpt of Philosophy, University Panthéon-Sorbonne, Paris 1 and ENS, France
"Future Contingents: Lukasiewicz vindicated? Modal logic versus partial logic approaches"
Workshop Logic and Metaphysics


José Veríssimo Teixeira da Mata
Chamber of Deputies, Brasilia, Brazil
"A Comparison between Aristotle, Vasili’ev and Epicurus concerning the Law of third excluded"
Session History

Mariana Matulovic
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Polynomials as Universal Tools: Unifying Proofs from Classical to Non-Classical Logics"
Workshop Thinking and Rationality

Ingolf Max
University of Leipzig, Germany
"How Universal can Multi-Dimensional Logics be?"
Session Universal

Maarten McKubre-Jordens
University of Canterbury, New Zealand
"Constructive Lessons for Paraconsistency"
Workshop Non-Classical Mathematics

Guilherme Louis Wyllie Medici
Department of Philosophy, Federal Fluminense University UFF, Niteroi, Brazil
"The Lullian Methods of Inconsistency Resolution"
Workshop Medieval Logic

Christopher Menzel
Texas A&M University, USA
"Logic with a Single Type: Motivations and Metatheory"
Workshop Between 1st and 2nd Order Logic

Chris Mortensen
University of Adelaide, Australia
"A Semantical Approach to Conservativity of Classical First-Order Theories Over Intuitionistic Ones"
Workshop Non-Classical Mathematics

Alexei Y. Muravitsky
Northwestern State University, Natchitoches, USA
"Rasiowan Deductive Systems"
Session Tools


Petra Murinová and Vilém Novák
Institute for Research and Applications of Fuzzy Modeling - IRAFM, University of Ostrava, Czech Republic
"Structure of Generalized Square of Opposition with Intermediate Quantifiers"
Session Quantifiers

Raja Natarajan
Tata Institute of Fundamental Research, India
"Computer-Assisted Mathematics"
Session Philosophy

Michel Assis Navarro
University of São Paulo, Brazil
"Ontology through Semantics in Donald Davidson "
Workshop Logic and Linguistics

Dan Nesher
Department of Philosophy, University of Haifa, Israel
"Logic is an Empirical Science"
Session Empricial

Mykola S.Nikitchenko
Taras Shevchenko National University of Kyiv, Ukraine
"Constructing Logics oriented on Computing: Philosophical and Mathematical Aspects"
Session Tools

Cyrus F. Nourani
Akdmkrd.tripod.com and Simon Fraser University, Canada
"Product Models on Positive Process Algebras"
Session Algebra & Category

Vilém Novák
Institute for Research and Applications of Fuzzy Modeling - IRAFM, University of Ostrava, Czech Republic
"Coping With Falakros Paradox in the Meaning of Special Linguistic Expressions"
Session Paradox

Vilém Novák
Institute for Research and Applications of Fuzzy Modeling - IRAFM, University of Ostrava, Czech Republic
"Many-Valued (Fuzzy) Type Theories
Session Class

Anjolina Grisi de Oliveira
Dpt of Informatics, UFPE, Recife, Brazil
"Intuitionistic n-Graphs: in search of the geometry of proofs"
Workshop IMLA 6.0

Kleidson Êglicio Carvalho da Silva Oliveira
Center of Logic, State University of Campinas - UNICAMP, Brazil
"A Logic of Improbability: Soundness and Completeness"
Session Quantifiers

Hitoshi Omori
Kobe University, Japan and City University of New York, USA
"Remarks on Naive Set Theory Based on da Costa's Idea"
Workshop Non-Classical Mathematics

Anca Pascu and Jean-Pierre Desclés
STIH-LaLIC, University Paris-Sorbonne, Paris IV, France
"The Logic of Determination of Objects (LDO) - a Paraconsistent Logic"
Session Tools

Alexander Paseau
Dpt of Philosophy, Oxford University, UK
"Logical Consequence and the First-/Second-order Logic Distinction"
Workshop Between 1st and 2nd Order Logic

Jan Paseka and Ivan Chajda
Department of Algebra and Geometry, Palacky University in Olomouc, Czech Republic and Faculty of Science, Masaryk University, Brno, Czech Republic,
"Dynamic Algebras as an Axiomatization of Modal and Tense Logics"
Session Many-Valued Logics


Fabrice Pataut
IHPST, Paris, France
"Radical Interpretation, the Logical Constants and Gödel's Critique"
Session Philosophy

Newton Peron and Marcelo Coniglio
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Actualizing Dugundji’s Theorem"
Contest Scope of Logic Theorems

Ivo Pezlar
Faculty of Arts, Masaryk University, Brno, Czech Republic
"What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference"
Session History

Darllan Conceção Pinto and Hugo Luiz Mariano
Dpt of Mathematics, University of São Paulo, Brazil
"Representation Theory of Logics: a Categorial Approach"
Session Algebra & Category

Claudio Pizzi
Dpt of Philosophy, University of Siena, Italy
"Rational and Reasonable Inference"
Workshop Thinking and Rationality

Donald V.Poochigian
Dpt of Philosophy and Religion, University of North Dakota, USA
"On the Ontology of Logic"
Session Philosophy


Denis Ponomaryov and Dmitry Vlasov
Institute of Informatics Systems and Institute of Mathematics, Novosibirsk, Russia
"A Sort–Binding Method of Combining Logics"
Session Combination


Graham Priest
Department of Philosophy University of Melbourne, Australia City University of New York, USA and University of StAndrews,Scotland
"Curry’s Paradox and Sub-structural Proof Theory for Relevant Logic"
Workshop Relevant Logics

"Plurivalent Logic "
Session Tools


Giuseppe Primiero
University of Ghent, Belgium
"Realist consequence, epistemic inference, computational correctness"
Workshop Scope of Logic


Tomasz Polacik
University of Katowice, Poland
"A Semantical Approach to Conservativity of Classical First-Order Theories Over Intuitionistic Ones"
Workshop Non-Classical Mathematics

V.M.Popov, V.O.Shangin and A.A.Solotschenkov
Moscow State University, Russia
"Between I(w,w) and the set of all formulas"
Session Class

Jirí Rachunek and Dana Salounova
Palacky University in Olomouc, Czech Republicand Technical University of Ostrava, Czech Republic
Approximations in Algebras of the non-Commutative Lukasiewicz logic
Worskhop Many-Valued Logics

Jiri Raclavsky
Dept of Philosophy, Masaryk University Brno, Czech Republic
"Fitch’s Paradox of Knowability, Typing Knowledge and Ramified Theory of Types"
Session Paradox

Jaime Ramos and Carlos Caleiro
Security and Quantum Information Group, Institute for Telecommunications, IST, Lisbon, Portugal
"Classical and Intuitionistic Propositional Logic"
Session Combination

Livy Real and Christian Retoré
Federal University of Paraná, Brazil - Labri / Inria/ CNRS, France
"A Generative Montagovian Lexicon for Polysemous Deverbal Nouns"
Workshop Logic and Linguistics

Ofra Rechter
University of Tel-Aviv, Israel
"Logic, Kantian Intuition and Quantification Dependence in Russell’s Principles of Mathematics"
Session History

Janine Reinert
Tilburg Center for Logic and Philosophy of Science, University of Tilburg, The Netherlands
"Artifacts of Unbelievability: How the truth of belief ascriptions implies truth in Modal Realism"
Workshop Logic and Metaphysics

Márcio M.Ribeiro and Marcelo Coniglio
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Safe Fibring or How to Revise Logic Systems"
Session Tools

Umberto Rivieccio
School of Computer Science, University of Birmingham, England, United Kingdom "On Extensions of the Belnap-Dunn Logic"
Session Many-Valued Logics

Andrei Rodin
Institute of Philosophy, Russian Academy of Sciences. Moscow, Russi and SPHERE - CNRS, Paris, France
"Lawvere and Hegel"
Session History

Abílio Rodrigues
Federal University of Minas Gerais - UFMG, Brazil
"On a Philosophical Justification of Logics of Formal Inconsistency"
Workshop Thinking and Rationality

Angela Pereira Rodrigues
Center of Logic, State University of Campinas - UNICAMP, Brazil
"A Sytsem of Natural Deduction for the ‘Almost Always’ Propositional Logic"
Session Quantifiers

Cassiano Terra Rodrigues
PUC-SP, Brazil
"Criticism to psychologism, logical truths and language in Gottlob Frege’s The Thought "
Session History

Ricardo Edgar Rodriguez
Department of Computer Science, University of Buenos Aires, Argentina,
"Decidability of Bi-modal Gödel Logics"
Session Many-Valued Logics

Lucas Rosenblatt
University of Buenos Aires and CONICET, Argentina
"The Truth is Pathological"
Session Philosophy

Dana Salounova and Jirí Rachunek
Technical University of Ostrava, Czech Republic and Palacky University in Olomouc, Czech Republic,
"State Operators on Non-Associative Generalizations of MV-Algebras"
Worskhop Many-Valued Logics

Tomoya Sato
Dpt of Philosophy, University of California at San Diego, USA
"Three Questions About Genuine Logic"
Workshop Between 1st and 2nd Order Logic

Denis I.Saveliev
Moscow State University, Russia
"Alternatives to the Law of Double Negation and Modal Logic of Actions of Semigroups"
Session Class

Luís Menasché Schechter and Mario R. F. Benevides
Dpt of Computer Sceinces, Federal University of Rio de Janeiro, Brazil
"Multi-Dimensional Products of Graphs and Hybrid Logics"
Session Combination


Bradimir Seselja
Dpt of Mathematics and Informatics, University of Novia Sad, Serbia
"An axiomatic approach to weak lattice-valued orderings"
Session Algebra & Category

Ted Shear
University of California, Davis, USA
"Solving the Surprise Examination and Designated Student Paradoxes"
Session Paradox

Stepan S. Shkilnyak and Mykola S.Nikitchenko
Taras Shevchenko National University of Kyiv, Ukraine
"Composition-Nominative Logics of Partial Quasiary Functions and Predicates"
Session Class

Luiz Henrique da Cruz Silvestrini
Dpt of Mathematics, State University of São Paulo, UNESP, Bauru, Brazil
"Evolutionary Databases and Quasi-Truth: some Relations via Model Theory"
Session Tools


John Slaney and Edward Walker
Automated Reasoning Group, Australian National University
"The One Variable Pure Implication Fragment of T is Infinite"
Workshop Relevant Logics

Lara Spendier, Agata Ciabattoni, Ori Lahav and Anna Zamansky
Theory and Logic Group, Vienna University of Technology, Austria
"Automated Support for the Investigation of Paraconsistent and Other Logics"
Session Tools

Gabriela Steren and Eduardo Bonelli
University of Buenoas Aires - National University of Quilmes and CONICET, Argentina
"Hypothetical Logic of Proofs"
Session Tools

Julio Michael Stern
Dpt of Mathematics, University of São Paulo - USP, Brazil
"Traveling Around the Moebius Band - The Logic of Scientific Discovery"
Session Class

Martin Sticht
Informatics Theory Group, University of Bamberg, Germany
"A Game-Theoretic Decision Procedure for the Constructive Description Logic cALL"
Session Tools

Luca Struble
Dpt of Philosophy, University of California, Los Angeles, USA
"Anti-Individualism And Epistemic Transparency"
Session Philosophy

Thomas Studer
Logic and Theory Group, University of Bern, Switzerland
"Update as Evidence"
Session Tools

Leandro Suguitani, Itala Maria Loffredo D’Ottaviano and Jorge Petrucio Viana
Center of Logic, State University of Campinas - UNICAMP and Dpt of mathematica, UFF, Brazil
"The Logic of Equality and the Logic of Order"
Session Algebra & Category

Maria N. Svyatkina and Valery B. Tarassov
Bauman Moscow State Technical University, Moscow, Russia
"On Granules and Granular Semantics for Multi-Valued Logics"
Session Tools

Marta Sznajder
Munich Center for Mathematical Philosophy, LMU, Germany
"Intensional Verbs, their Intensional Objects and Axiomatic Metaphysics"
Workshop Logic and Linguistics

Gwynne Taraska
Institute for Philosophy and Public Policy George Mason University, USA
"A Paraconsistent, Paracomplete, and Classically Valued Propositional Logic"
Session Class

Valery B. Tarassov
Bauman Moscow State Technical University, Moscow, Russia
"The Perspective of Non-Linear Multi-Valued Logics:
Extended Logical Matrices"
Session Tools


Andrea Tepavcevic
Dpt of Mathematics and Informatics, Faculty of Science, University of Novi Sad, Serbia
"General Formulas for Compatible Relations"
Session Algebra & Category

Tinko Tichev
Faculty of Mathematics and Informatics Sofia University St. Kliment Ohridski, Bulgaria
"Modal Approach to Region-based Theories of Space: Definability and Canonicity"
Session Modal

Jerzy Tomasik
LIMOS-CNRS, Clermont-Ferrand, France
"On Łoś Synthesis Theories"
Session Tools

Kazimierz Trzesicki
University of Byałistok, Poland
"Indeterministic temporal logic"
Session Modal


Esko Turunen
Tampere University of Technology, Finland,
"The MV-structure of Intermediate Syllogisms"
Worskhop Many-Valued Logics

Dimiter Vakarelov
Sofia University "St. Kliment Ohridski", Bulgaria
"Point-Free Formalizations of Whitehead’s Metaphysics of Space and Time"
Workshop Logic and Metaphysics

Vladimir Vasyukov
Russian Academy of Sciences. Moscow
"Inner Language of Universal Logic"
Session Universal

Giorgio Venturi
Scuola Normale Superiore di Pisa, Italy
"Set Theoretical Foundation of Mathematics as Unity of Mathematical Practice"
Session Philosophy


Peter Verdee
University of Ghent, Belgium
"Adding the Omega-Rule to Peano Arithmetic by Means of Adaptive Logic"
Workshop Non-Classical Mathematics

Alexei Vladimirov
Moscow State University, Russia
"Some partial conservativity properties for Intuitionistic
Set Theory with principle DCS"
Session Tools

Marco Volpe, Carlos Caleiro and Luca Vigano
Security and Quantum Information Group, Institute for Telecommunications, IST, Lisbon, Portugal - Dpt of Informatics, University of Verona, Italy
"Labeled Natural Deduction for Peircean Branching Temporal Logics"
Session Tools

Jonas De Vuyst
Centre for Logic and Philosophy of Science, Free University of Brussel
, Belgium
"Dynamic Tableaux for Public Announcement Logic"
Session Tools

Abdul Jaleel Kadhim Al Wali
United Arab Emirates, University, Abu Dhabi, UAE,
"Al Farabi’s Model of Logic"
Workshop Medieval Logic

Zach Weber
University of Otago, New Zealand
"Fixed Point Theorems in Non-Classical Mathematics"
Workshop Non-Classical Mathematics

Mikko Yrjönsuuri
University of Jyväskylä and University of Helsinki, Finland
"Medieval formal logic as a practical art of argumentation"
Workshop Scope of Logic

Elia Zardini
Dpt of Logic, University of Barcelona, Spain
"Naive Restricted Quantification"
Session Quantifiers

Antonio Jose Teiga Zilhao
Dpt of Philosophy, University of Lisbon, Portugal
"Some Remarks on Moore's Paradox"
Session Paradox

 


For co-authored papers, first is the name of the one who will present the talk.
Contributed talks = 30 mn (including discussion)