Abstracts

Aldo Figallo-Orellano

CLE - State University of Campinas (UNICAMP), Brazil and DM - Universidad Nacional del Sur (UNS), Argentina

An intuitionistic fragment of 3-valued Łukasiewicz logic

Alejandro Solares-Rojas

IIFs - National Autonomous University of Mexico (UNAM), Mexico

How could a logician help solving the P ≟ NP problem?

Ana Claudia Golzio

CLE - State University of Campinas (UNICAMP), Brazil

About algebraization of some systems not algebraizable by standard methods

Bruno Da Re

IIF-Sadaf-Conicet - University of Buenos Aires (UBA), Argentina

Paraconsistency in a substructural logic

Bruno Ramos Mendonça

CLE - IFCH - State University of Campinas (UNICAMP), Brazil

Urn semantics, semantic information and the scandal of deduction

Diego Tajer

IIF - Conicet - University of Buenos Aires (UBA), Argentina

Contradictions, “just true”, and natural language: a Brazilian perspective

Edson Vinícius Bezerra

CLE - IFCH - State University of Campinas (UNICAMP), Brazil

Suszko’s Thesis, Tarskian Consequence Relation and Logical Pluralism

Eduardo Alejandro Barrio

IIF-Sadaf-Conicet - University of Buenos Aires (UBA), Argentina

What is a (Classical / Paraconsistent) Logic?

Giorgio Venturi

DF/IFCH - State University of Campinas (UNICAMP), Brazil

Neighborhood Semantics for Logics of Unknown Truths and False Beliefs

Guilherme Vicentin de Toledo

CLE - IFCH - State University of Campinas (UNICAMP), Brazil

Nondeterministic Semantics for Nonclassical Logics: An Approach from the Perspective of Model Theory and Universal Algebra

Henrique Antunes

CLE - IFCH - State University of Campinas (UNICAMP), Brazil

Enthymematic Classical Recapture

Jesús Alejandro Hernández-Tello

CLE - State University of Campinas (UNICAMP), Brazil and Benemérita Universidad Autónoma de Puebla, Mexico

Lógicas Paraconsistentes Genuinas

Juliana Bueno-Soler

CLE - FT - State University of Campinas (UNICAMP), Brazil

Comparing the product of fibring to taylor-suited logics

Marcelo Esteban Coniglio

CLE - DF/IFCH - State University of Campinas (UNICAMP), Brazil

Maximality and strong maximality in the lattice of finite-valued Lukasiewicz logics

Miguel Pérez-Gaspar

CLE - State University of Campinas (UNICAMP), Brazil and Benemérita Universidad Autónoma de Puebla (BUAP), Mexico

Axiomatización para la lógica de tres valores G3'

Natalia Buacar

University of Buenos Aires (UBA), Argentina

Going on a Safe Trip with a Tonk Inference Ticket

Santiago Jockwich Martinez

CLE - IFCH - State University of Campinas (UNICAMP), Brazil

A game theoretical analysis of the Gettier cases

Walter Carnielli

CLE - DF/IFCH - State University of Campinas (UNICAMP), Brazil