Archives

  • 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. 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)

  • Vol. 15 No. 7 (2015)

    Continuous versions of Haack’s Puzzles: Equilibria, Eigen-States and Ontologies
    (Julio Michael Stern)

  • Vol. 15 No. 6 (2015)

    Cuts and cut-elimination for complementary classical logic
    (Walter Carnielli, Gabriele Pulcini)

  • Vol. 15 No. 5 (2015)

    A Logic for evidence and truth
    (Walter Carnielli, Abílio Rodrigues)

  • Vol. 15 No. 4 (2015)

    FUNÇÕES DE PRIMEIRA ORDEM E n-TIPOS
    (Rodrigo A. Freire)

  • Vol. 15 No. 3 (2015)

    A preliminary study of MV-algebras with two quantifiers which commute
    (Aldo Figallo Orellano)

  • Vol. 15 No. 2 (2015)

    May be and may be not: paraconsistent probabilities from the LFI
    (Juliana Bueno-Soler, Walter Carnielli )

  • Vol. 15 No. 1 (2015)

    Reconciling first-order logic to algebra
    (Walter Carnielli, Hugo Luiz Mariano, Mariana Matulovic)

  • Vol. 14 No. 3 (2014)

    Experimenting with consistency
    (Juliana Bueno-Soler, Walter Carnielli)

  • Vol. 14 No. 2 (2014)

    Polinomial Ring Calculus for Modalities
    (Juan C. Agudelo-Agudelo, Walter Carnielli )

  • Vol. 14 No. 1 (2014)

    Swap Structures for LFIs
    (Walter Carnielli, Marcelo Coniglio)

  • Vol. 13 No. 3 (2013)

    On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5
    (Marcelo E. Coniglio, Martín Figallo)

    Update: the final version of this paper has been published as:
    M.E. Coniglio; M. Figallo. On a four-valued modal logic with deductive implication. Bulletin of the Section of Logic 43, n. 1/2: 1-18, 2014.

1-25 of 96