Archives

• A temporal logic of intervals developed in the algebraic logic tradition

  Vol. 23 No. 04 (2025)

  Romulo Albano de Freitas  Unesp - FFC, Marília

  Hércules de Araújo Feitosa  Unesp - FC, Bauru

  Luiz Henrique da Cruz Silvestrini  Unesp - FC, Bauru

• A Nuclear Meinongian approach to quantum metaphysical indeterminacy Authors

  Vol. 23 No. 03 (2025)

  Raoni Arroyo University of Santa Catarina (UFSC)

  Renato Valvassori University of Campinas (UNICAMP)

   

• Univocity of intuitionistic and classical connectives

  Vol. 23 No. 02 (2025)

  Rodolfo C. Ertola-Biraben
  CLE, Cidade Universitária, Sérgio Buarque de Holanda, 251, PO Box
  13083-859, Campinas, Brazil.

  Branden Fitelson
  Department of Philosophy and Religion, Northeastern University, 360
  Huntington Ave, Boston, MA 02115.

• Polynomial Ring Calculi for Belnap-Dunn Logic FDE and for the Logic of Evidence and Truth LETF

  Vol. 23 No. 01 (2025)

  Juliana Bueno-Soler
  State University of Campinas (UNICAMP), Rua Paschoal Marmo, 1888,
  Limeira-SP, Brazil

  Walter Carnielli
  State University of Campinas (UNICAMP), Rua S ́ergio Buarque de
  Holanda, 251, Campinas-SP, Brazil

  Juan C. Agudelo-Agudelo
  University of Antioquia (UdeA), Calle 70 No. 52 - 21, Medellin-ANT, Colom

• Sobre Cavaleiros, Patifes e Coringas: Abordagens Pedagógicas no Ensino de Lógica Clássica, Paraconsistente e Modal por meio de Puzzles

  Vol. 22 No. 02 (2024)

  Rafael Rodrigues Testa Pesquisador Associado - Centro de Lógica, Epistemologia e História da Ciência (CLE) Universidade Estadual de Campinas (Unicamp) Rafael Ongaratto Doutorando do Instituto de Filosofia e Ciências Humanas (IFCH) Universidade Estadual de Campinas (Unicamp)

• A Formalisation of Constructive Evidence-Based Reasoning: Constructing Justifications

  Vol. 22 No. 01 (2024)

  Juan C. Agudelo-Agudelo(1) and Walter A. Carnielli(2)

   

• Where the truth lies: a paraconsistent approach to Bayesian epistemology

  Vol. 21 No. 02 (2023)

  Walter Carnielli and Juliana Bueno-Soler

• Logical Doublets: A Card Game for the Teaching of Categorical Syllogistic

  Vol. 21 No. 01 (2023)

  Frank Thomas Sautter

• Metodologias para o Ensino de Lógica em Libras: Notas sobre o desenvolvimento de uma aula de Lógica para o projeto IFSP FILOLIBRAS

  Vol. 20 No. 3 (2022)

  Rafael R. Testa, Lucimar Bizio, João Antonio de Moraes

• 3-valued Super-Lukasiewicz expanded by ∆ operator

  Vol. 20 No. 2 (2022)

  Miguel Pérez-Gaspa
  Juan Manuel Ramírez-Contreras
  Aldo Figallo-Orellano

• The Kochen–Specker theorem and ontological (in)completeness of quantum objects

  Vol. 20 No. 1 (2022)

  Author: Raoni Wohnrath Arroyo

• A teoria de conjuntos entre 1909 e 1930: o amadurecimento formal de uma teoria axiomática

  Vol. 19 No. 5 (2020)

  Carlos G. Gonzalez Instituto de Filosofia (IFILO)

  Universidade Federal de Uberlândia (UFU) 

• Gödel blooming: the Incompleteness Theorems from a paraconsistent perspective

  Vol. 19 No. 4 (2020)

  Authors: Walter Carnielli e David Fuenmayor

• Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account

  Vol. 19 No. 3 (2020)

  Carnielli, Walter; Coniglio, Marcelo E.; Fuenmayor, David

• Fidel-structure-valued models that verify Leibniz’s law are models of a paraconsistent Set Theory

  Vol. 19 No. 2 (2020)

  Aldo Figallo Orellano, Juan Sebastián Slagter 

• The Bochum Plan and the foundations of contra-classical logics

  Vol. 19 No. 1 (2020)

  Luis Estrada-González

  Institute for Philosophical Research-UNAM 

• Truth-Conditional Semantics and Characterization Theorems for Urn Logics

  Vol. 18 No. 1 (2019)

  Bruno R. Mendonça

  Department of Philosophy, State University of Paraná, Brazil

• Representation by tuples of Lukasiewicz–Moisil algebras of order n + 1 and applications.

  Vol. 17 No. 3 (2017)

  Manuel Fidel

  Universidad Nacional del Sur. Bahı́a Blanca, Argentina.
  

  Martı́n Figallo

  Universidad Nacional del Sur. Bahı́a Blanca, Argentina

• Frege and truth-values as references

  Vol. 17 No. 2 (2017)

  Abílio Rodrigues

  Universidade Federal de Minas Gerais (UFMG) 

• Recovery operators, paraconsistency and duality

  Vol. 17 No. 1 (2017)

  Walter Carnielli

  Universidade Estadual de campinas - UNICAMP

  Centro de Lógica, Epistemologia - CLE

  Marcelo E. Coniglio

  Universidade Estadual de campinas - UNICAMP

  Centro de Lógica, Epistemologia - CLE

  Abílio Rodrigues
  Universidade Federal de Minas Gerais (UFMG) 

   

• Towards an hyperalgebraic theory of non-algebraizable logics

  Vol. 16 No. 4 (2016)

  
  Marcelo Coniglio

  Aldo Figallo-Orellano

  Ana Claudia Golzio

• Une sémantique générale des croyances justifiées

  Vol. 16 No. 3 (2016)

  Fabien Schang

  Université de Recherche Nationale des Hautes Études Économiques de Moscou - (HSE-Russie)
  

  Alexandre Costa-Leite

  Université de Brasília (UnB) - Brésil

• Conservative Expansions of Substructural Logics

  Vol. 16 No. 2 (2016)

  Jacopo Amidei

  Rodolfo C. Ertola-Biraben

  Franco Montagna

• Translating non-classical logics into the classical logic by using hidden variables

  Vol. 16 No. 1 (2016)

  Juan C. Agudelo-Agudelo

• Paraconsistent Belief Revision based on a formal consistency operator

  Vol. 15 No. 8 (2015)

  Rafael Rodrigues Testa 

  Universidade Estadual de Campinas - UNICAMP

  Marcelo Esteban Coniglio

  Universidade Estadual de Campinas - UNICAMP

  Márcio M. Ribeiro

  Universidade Estadual de Campinas - UNICAMP