• Vol 17 No 3 (2017)

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

    (Manuel Fidel; Martı́n Figallo)

  • Vol 11 No 1 (2011)

    The problem ax + b: the most natural generalization of Collatz problem
    (Walter Carnielli)

    Some natural generalizations of the Collatz problem.
    (Walter Carnielli)

  • Vol 4 No 4 (2004)

    On Negation: Pure local rules
    (João Marcos)

    The final version of this paper is published as:
    João Marcos, Journal of Applied Logic, 3(1): 185-219,2005.

  • Vol 17 No 2 (2017)

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

  • 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 16 No 4 (2016)

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

  • Vol 17 No 1 (2017)

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

  • Vol 16 No 3 (2016)

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

  • Vol 15 No 1 (2015)

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

  • Vol 15 No 6 (2015)

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

  • Vol 15 No 2 (2015)

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

  • Vol 15 No 7 (2015)

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

  • Vol 15 No 5 (2015)

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

  • Vol 15 No 3 (2015)

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

  • 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 4 (2015)

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

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

  • Vol 13 No 2 (2013)

    Tennant and the AGM Model Epistemic Entrenchment Contraction
    (Diego Fernandes, Wagner Sanz)

  • Vol 13 No 1 (2013)

    A generalization of Twist-Structures Semantics for n-valued logics
    (Víctor Fernández, Carina Murciano)

  • Vol 11 No 5 (2011)

    Short note on Sacks generic extensions
    (Rodrigo A. Freire)

  • Vol 12 No 1 (2012)

    O Princípio Finitista Arquimediano e os Fundamentos da Aritmética: uma introdução à teoria dos aritmos
    (José Carlos Cifuentes)

1-25 of 90