Switch to: References

Add citations

You must login to add citations.
  1. Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
    We construct the finitely generated free algebras and determine the free spectra of varieties of linear equivalential algebras and linear equivalential algebras of finite height corresponding. respectively, to the equivalential fragments of intermediate Gödel-Dummett logic and intermediate finite-valued logics of Gödel. Thus we compute the number of purely equivalential propositional formulas in these logics in n variables for an arbitrary n ∈ N.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Free equivalential algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.
    We effectively construct the finitely generated free equivalential algebras corresponding to the equivalential fragment of intuitionistic propositional logic.
    Download  
     
    Export citation  
     
    Bookmark   4 citations