Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras. Abstract algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a ô-regular variety V the lattice of congruences of A is isomorphic to the lattice of deductive filters on A of the ô-assertional logic of V. Moreover, if V has a constant 1 in its type and is 1-subtractive, the deductive filters on A 2 V of the 1-assertional logic of V coincide with the V-ideals of A in the sense of Gumm and Ursini, for which we have a manageable concept of ideal generation. However, there are isomorphism theorems, for example, in the theories of residuated lattices, pseudointerior algebras and quasi-MV algebras that cannot be subsumed by these general results. The aim of the present paper is to appropriately generalise the concepts of subtractivity and ô-regularity in such a way as to shed some light on the deep reason behind such theorems. The tools and concepts we develop hereby provide a common umbrella for the algebraic investigation of several families of logics, including substructural logics, modal logics, quantum logics, and logics of constructive mathematics. §

Quasi-subtractive varieties

PAOLI, FRANCESCO;
2011-01-01

Abstract

Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras. Abstract algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a ô-regular variety V the lattice of congruences of A is isomorphic to the lattice of deductive filters on A of the ô-assertional logic of V. Moreover, if V has a constant 1 in its type and is 1-subtractive, the deductive filters on A 2 V of the 1-assertional logic of V coincide with the V-ideals of A in the sense of Gumm and Ursini, for which we have a manageable concept of ideal generation. However, there are isomorphism theorems, for example, in the theories of residuated lattices, pseudointerior algebras and quasi-MV algebras that cannot be subsumed by these general results. The aim of the present paper is to appropriately generalise the concepts of subtractivity and ô-regularity in such a way as to shed some light on the deep reason behind such theorems. The tools and concepts we develop hereby provide a common umbrella for the algebraic investigation of several families of logics, including substructural logics, modal logics, quantum logics, and logics of constructive mathematics. §
2011
Quasi-subtractive varieties; Universal algebra; Abstract algebraic logic
File in questo prodotto:
File Dimensione Formato  
Quasisubtractive varieties.pdf

Solo gestori archivio

Tipologia: versione editoriale
Dimensione 261.62 kB
Formato Adobe PDF
261.62 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/28086
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 13
social impact