6 found
Order:
  1.  18
    Congruences and Ideals on Boolean Modules: A Heterogeneous Point of View.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2011 - Mathematical Logic Quarterly 57 (6):571-581.
    Definitions for heterogeneous congruences and heterogeneous ideals on a Boolean module equation image are given and the respective lattices equation image and equation image are presented. A characterization of the simple bijective Boolean modules is achieved differing from that given by Brink in a homogeneous approach. We construct the smallest and the greatest modular congruence having the same Boolean part. The same is established for modular ideals. The notions of kernel of a modular congruence and the congruence induced by a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Congruences and Ideals on Boolean Modules: A Heterogeneous Point of View.Sandra Marques Pinto & M. Teresa F. Oliveira Martins - 2011 - Mathematical Logic Quarterly 57 (6):571-581.
     
    Export citation  
     
    Bookmark   1 citation  
  3.  17
    Subdirectly Irreducible Separable Dynamic Algebras.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2010 - Mathematical Logic Quarterly 56 (4):442-448.
    A characterization of the subdirectly irreducible separable dynamic algebras is presented. The notions develo- ped for this study were also suitable to describe the previously found class of simple separable dynamic algebras.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    Congruences and Ideals on Peirce Algebras: A Heterogeneous/Homogeneous Point of View.Sandra Marques Pinto & M. Teresa Oliveira‐Martins - 2012 - Mathematical Logic Quarterly 58 (4-5):252-262.
    For a Peirce algebra equation image, lattices equation image of all heterogenous Peirce congruences and equation image of all heterogenous Peirce ideals are presented. The notions of kernel of a Peirce congruence and the congruence induced by a Peirce ideal are introduced to describe an isomorphism between equation image and equation image. This isomorphism leads us to conclude that the class of the Peirce algebras is ideal determined. Opposed to Boolean modules case, each part of a Peirce ideal I = (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  5. Congruences and Ideals on Peirce Algebras: A Heterogeneous/Homogeneous Point of View.Sandra Marques Pinto & M. Teresa F. Oliveira Martins - 2012 - Mathematical Logic Quarterly 58 (4):252-262.
     
    Export citation  
     
    Bookmark  
  6. Subdirectly Irreducible Separable Dynamic Algebras.Sandra Marques Pinto & M. Teresa F. Oliveira Martins - 2010 - Mathematical Logic Quarterly 56 (4):442-448.
     
    Export citation  
     
    Bookmark