22 research outputs found

    Free algebras in varieties of BL-algebras generated by a BL n-chain

    Get PDF
    Free algebras with an arbitrary number of free generators in varieties of BL-algebras generated by one BL-chain that is an ordinal sum of a finite MV-chain Ln and a generalized BL-chain B are described in terms of weak Boolean products of BL-algebras that are ordinal sums of subalgebras of L and free algebras in the variety of basic hoops generated by B. The Boolean products are taken over the Stone spaces of the Boolean subalgebras of idempotents of free algebras in the variety of MV-algebras generated by L N. © 2006 Australian Mathematical Society.Fil:Busaniche, M. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina

    Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic

    Full text link

    Free algebras in varieties of BL-algebras generated by a BL n-chain

    No full text
    Free algebras with an arbitrary number of free generators in varieties of BL-algebras generated by one BL-chain that is an ordinal sum of a finite MV-chain Ln and a generalized BL-chain B are described in terms of weak Boolean products of BL-algebras that are ordinal sums of subalgebras of L and free algebras in the variety of basic hoops generated by B. The Boolean products are taken over the Stone spaces of the Boolean subalgebras of idempotents of free algebras in the variety of MV-algebras generated by L N. © 2006 Australian Mathematical Society.Fil:Busaniche, M. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina

    Constructive Logic with Strong Negation as a Substructural Logic

    No full text
    corecore