10 found
Sort by:
Disambiguations:
Stanley Burris [8]Stanley N. Burris [2]
  1. Stanley N. Burris & H. P. Sankappanavar (2013). The Horn Theory of Boole's Partial Algebras. Bulletin of Symbolic Logic 19 (1):97-105.
    This paper augments Hailperin's substantial efforts (1976/1986) to place Boole's algebra of logic on a solid footing. Namely Horn sentences are used to give a modern formulation of the principle that Boole adopted in 1854 as the foundation for his algebra of logic—we call this principle The Rule of 0 and 1.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Stanley Burris, George Boole. Stanford Encyclopedia of Philosophy.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Stanley Burris, The Algebra of Logic Tradition. Stanford Encyclopedia of Philosophy.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Stanley Burris (1995). Polynomial Time Uniform Word Problems. Mathematical Logic Quarterly 41 (2):173-182.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Stanley Burris (1994). Model Companions with Finitely Many Countable Models. Mathematical Logic Quarterly 40 (1):141-142.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Stanley Burris, Ralph McKenzie & Matthew Valeriote (1991). Decidable Discriminator Varieties From Unary Varieties. Journal of Symbolic Logic 56 (4):1355-1368.
    We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Stanley Burris (1989). Decidable Model Companions. Mathematical Logic Quarterly 35 (3):225-227.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Stanley Burris (1987). The Model Completion of the Class of ℒ︁‐Structures. Mathematical Logic Quarterly 33 (4):313-314.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Stanley Burris (1984). Model Companions for Finitely Generated Universal Horn Classes. Journal of Symbolic Logic 49 (1):68-74.
    In an earlier paper we proved that a universal Horn class generated by finitely many finite structures has a model companion. If the language has only finitely many fundamental operations then the theory of the model companion admits a primitive recursive elimination of quantifiers and is primitive recursive. The theory of the model companion is ℵ 0 -categorical iff it is complete iff the universal Horn class has the joint embedding property iff the universal Horn class is generated by a (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation