CONTRIBUTING SPEAKERS

Gaetano Albergo
University of Catania - Italy

"
Is it possible to perceive contradictions?"

 

Can Başkent
INRIA - Institut National de Recherche en Informatique et en Automatique, Nancy, France
"Game Semantics and Paraconsistency
"

 

Rodolfo C. Ertola Biraben Rodriguez and Carles Noguera i Clofent
CLE State University of Campinas, Brazil and Institute of Information Theory and Automation (UTIA) Academy of Sciences of the Czech Republic

"
Paraconsistent degree-preserving fuzzy logic"

Frode Bjordal
Dpt of Philosophy, University of Oslo, Norway and UFRN, Brazil
"With Librationism from Paraconsistency to Contrasistency, Incoherency and Complementarity"

Colin R.Caret
Underwood International College, Yonsei University, Korea
"Mission Impossible: A Dialetheic Solution to Curry's Paradox
"

Filippo Casati
Dpt of Philosophy, University of St Andrews, Scotland
"Was Heidegger a Dialetheist?"

Mathieu Cornelis
Department of Sciences, Philosophies and Societies, University of Namur - Belgium
"Identity Through Time and Contradiction"

Alexandre Costa-Leite and Edelcio Gonçalves de Souza
University of Brasilia amd University of São Paulo, Brazil
"On a paraconsistentizarion functor"

Vincent Degauquier
Catholic University, Louvain, Belgium

"A unified proof-theoretic approach of partial and paraconsistent three-valued logics
"

Samir Gorsky and Walter Carnielli
University of Brasilia, CLE and Department of Philosophy State University of Campinas, Brazil

"Paraconsistent Algebra of Sets, Information and the Bar-Hillel-
Carnap Paradox"

Anna Franceschetto
Dpt of Mathematics, University of Padua, Italy
"
Strong Three-Valued Paraconsistent Logics"

Debajyoti Gangopadhyay
Annada College , Vinoba Bhave University, Hazaribag, Jarkhand, India
"Unscrambling the ‘Copenhagen omelet’ in paraconsistent term"

Thomas Guillaume
Department of Sciences, Philosophies and Societies, University of Namur - Belgium
"Is the disjunctive syllogism even a quasi-valid inference ?
"

Rachappa I. Ingalalli
Karnataka University, Dharwad - India

"Validity in Paraconsistent Epistemic Logic" and "
Consistency in Indian Logic"

Erik Istre
Department of Mathematicd and Statistics University of Canterbury, New Zealand
"Non-well-founded Set Theory Recapture
"

 

Tomasz Jarmużek
Department of Logic, Nicolaus Copernicus University, Torun, Poland
"Tableau metatheory for paraconsistent logics defined by possible world's semantics"

 

Priyedarshi Jetli
University of Mumbai – India

"Aristotle’s Syllogistic Logic is a Paraconsistent Logic"

 

David Miller and Andreas Kapsner and Roy Dyckhoff
Department of Philosophy, University of Warwick - Munich Center for Mathematical Philosophy Ludwig-Maximilians-Universitat, Munich, Germany - School of Computer Science, University of St Andrews, Scotland
"Report on Kalman Cohen's 1954 Oxford Thesis on Alternative Systems of Logic
"

Oguz Korkmaz
Bogazici University - Turkey

"A paraconsistent solution to Kratzer’s modal semantics
"

 

Hidenori Kurokawa
Kobe University - Japan
"
Hypersequent Calculi for Dual-superintuitionstic Logics and an Extension of the Logic Cube"

 

 


Maarten McKubre-Jordens
Department of Mathematicd and Statistics University of Canterbury, New Zealand
"A fresh look at the continuum
"

Ian McLean
Butte College, USA
"On the General Impossibility of a Consistent Theory of Everything"

 

Marek Nasieniewski and Andrzej Pietruszczak
Department of Logic, Nicolaus Copernicus University, Torun, Poland
"On modal logics defining a Jaskowski-like discussive logic"

 

Hitoshi Omori
City University of New York - USA
"
Naive set theories based on expansions of BD enriched by classical negation"

Hitoshi Omori and Roberto Ciuni
City University of New York - USA. Ruhr University, Bochum, Germany
"
Consistency operator and `just-true' operator in paraconsistent Weak Kleene logic"

Alessio Moretti and Régis Pélissier
Nice - France

"Many-valuedness paracompleteness and paraconsistency in a 3-oppositional quadrisimplex of sheaves"

Gabriele Pulcini
University of Cagliari - Italy

"
Towards a unified setting for non-monotonicity and paraconsistency"
"

Vít Punčochář
Academy of Sciences - Czech Republic,
"Internal and External logics of Nelson Models"

Frederik Van de Putte
Centre for Logic and Philosophy of Science, University of Ghent, Belgium
"Adaptive Logics and Selection Function"

Abilio Rodrigues and Walter Carnielli
Department of Philosophy Federal University of Minas Gerais and CLE and Department of Philosophy State University of Campinas, Brazil

"
The Basic Logic of Consistency: syntax, semantics and philosophical motivations"

Fabien Schang
Moscow State University, Russia
"Eastern Proto-Logics"

Elena Shulga
Department of Evolutionary Epistemology. Institute of Philosophy, Russian Academy of Sciences, Moscow
"Paraconsistent Hermeneutics for Frege and Wittgenstein"

Daniel Skurt
Department of Philosophy II, University of Bochum - Germany
"Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic"

 

Sourav Tarafder and Mihir Kr. Chakraborty
University of Calcutta and Jadavpur University, Indian Statis tical Institute, Kolkata - India

"The Logic LS3 and its Comparison with other Three-Valued Paraconsistent Logics"

 

Esko Turunen
Tampere University of Technology - Finland and Technical University, Vienna - Austria
"Two Paraconsistent Semantics for Pavelka's Fuzzy Logic"

 

Rafal Urbaniak
Centre for Logic and Philosophy of Science, University of Ghent, Belgium and Dpt of Philosophy, Sociology and Journalism, Gdansk University, Poland
"A comparative study of selected filtered paraconsistent logics"

 

Martin Vacek
Institute of Philosophy, Slovak Academy of Sciences, Slovakia
"Paraconsistency and Impossible Worlds"

Vladimir Vasyukov
Institute of Philosophy, Russian Academy of Sciences, Moscow
"Reltoses for Relevant Logics"

Peter Verdée
Centre for Logic and Philosophy of Science, University of Ghent, Belgium
"Paraconsistent and classical negation in the context of relevant
implication"

 

Zach Weber
Dpt of Philosophy, University of Otago - New Zealand
"Finitism in Paraconsistent Mathematics"