Which Two-Sorted Algebras of Booleans and Naturals have a FiniteBasis Wan Fokkink Jaco van de Pol and Sujith Vijay


     Related Videos
Which are the most problematic mycotoxins for dairy cows?
Which are other indications for auto hemotherapy?
Which element for Christmas?
Asia Vs Europe Which Region is More Geopolitically Incompetent?
Anarchy or Authoritarianism Which is Worse? - John Gray

     Related Hubpages

    •  Doc. Url:    Embed Code: 

    • citeseer  status
      (0) (0 Votes)
      Views: (1016)   Date: (13-05-09)   Pages: ()
    • Author:  unknown authors  

    • Abstract:  Abstract. We show that the two-sorted algebra of Booleans and naturals with conjunction, addition and inequality is not finitely based. If addition is removed, or negation is included, then the resulting algebra is finitely based.

         Related Documents

           Related Groups

             Related Science News

             More on Sciencestage

             Answers

             News

             Related on Wikipedia




























         

        Powered free by PHPmotion