Archives

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

  Vol. 23 No. 04 (2025)

• Vol. 23 No. 03 (2025)

  A Nuclear Meinongian approach to quantum metaphysical indeterminacy
  Authors

  Raoni Arroyo University of Santa Catarina (UFSC)

  Renato Valvassori University of Campinas (UNICAMP)

   

• Vol. 23 No. 02 (2025)

  Univocity of intuitionistic and classical connectives

  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.

• Vol. 23 No. 01 (2025)

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

  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

• Vol. 22 No. 02 (2024)

  Sobre Cavaleiros, Patifes e Coringas: Abordagens Pedagógicas no Ensino de Lógica Clássica, Paraconsistente e Modal por meio de Puzzles 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)

• Vol. 22 No. 01 (2024)

  A Formalisation of Constructive Evidence-Based Reasoning: Constructing Justifications

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

   

• Vol. 21 No. 02 (2023)

  Where the truth lies: a paraconsistent approach to Bayesian epistemology Walter Carnielli and Juliana Bueno-Soler

• Vol. 21 No. 01 (2023)

  Logical Doublets: A Card Game for the Teaching of Categorical Syllogistic Frank Thomas Sautter

• Vol. 20 No. 3 (2022)

• Vol. 20 No. 2 (2022)

  3-valued Super-Lukasiewicz expanded by ∆ operator Miguel Pérez-Gaspar, Juan Manuel Ramírez-Contreras and Aldo Figallo-Orellano

• Vol. 20 No. 1 (2022)

  The Kochen–Specker theorem and ontological (in)completeness of quantum objects, Author: Raoni Wohnrath Arroyo

• Vol. 19 No. 5 (2020)

• Vol. 19 No. 4 (2020)

  Gödel blooming: the Incompleteness Theorems from a paraconsistent perspective Authors: Walter Carnielli e David Fuenmayor

• Vol. 19 No. 3 (2020)

  Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account Carnielli, Walter; Coniglio, Marcelo E.; Fuenmayor, David

• Vol. 19 No. 2 (2020)

• Vol. 19 No. 1 (2020)

• Vol. 18 No. 1 (2019)

  Truth-Conditional Semantics and Characterization Theorems for Urn Logics
  Bruno R. Mendonça (Department of Philosophy, State University of Paraná, Brazil)

• Vol. 17 No. 3 (2017)

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

  (Manuel Fidel; Martı́n Figallo)

• Vol. 17 No. 2 (2017)

  Frege and truth-values as references
  (Abílio Rodrigues)

• Vol. 17 No. 1 (2017)

  Recovery operators, paraconsistency and duality
  (Walter Carnielli; Marcelo Coniglio; Abílio Rodrigues)

• Vol. 16 No. 4 (2016)

  Towards an hyperalgebraic theory of non-algebraizable logics
  (Marcelo Coniglio, Aldo Figallo-Orellano, Ana Claudia Golzio)

• Vol. 16 No. 3 (2016)

  Une sémantique générale des croyances justifiées
  (Fabien Schang, Alexandre Costa-Leite)

• Vol. 16 No. 2 (2016)

  Conservative Expansions of Substructural Logics
  (Jacopo Amidei, Rodolfo C. Ertola-Biraben, Franco Montagna)

• Vol. 16 No. 1 (2016)

  Translating non-classical logics into the classical logic by using hidden variables
  (Juan C. Agudelo-Agudelo)

• Vol. 15 No. 8 (2015)

  Paraconsistent Belief Revision based on a formal consistency operator
  (Rafael R. Testa, Marcelo E. Coniglio, Márcio M. Ribeiro)