11 found
Order:
Disambiguations
Stanley Burris [13]Stanley N. Burris [1]
  1.  19
    The algebra of logic tradition.Stanley Burris - 2010 - Stanford Encyclopedia of Philosophy.
  2.  11
    Polynomial Time Uniform Word Problems.Stanley Burris - 1995 - Mathematical Logic Quarterly 41 (2):173-182.
    We have two polynomial time results for the uniform word problem for a quasivariety Q: The uniform word problem for Q can be solved in polynomial time iff one can find a certain congruence on finite partial algebras in polynomial time. Let Q* be the relational class determined by Q. If any universal Horn class between the universal closure S and the weak embedding closure S̄ of Q* is finitely axiomatizable then the uniform word problem for Q is solvable in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Decidable discriminator varieties from unary varieties.Stanley Burris, Ralph Mckenzie & Matthew Valeriote - 1991 - 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 (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  32
    Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  12
    Decidable Model Companions.Stanley Burris - 1989 - Mathematical Logic Quarterly 35 (3):225-227.
  6.  25
    Decidable Model Companions.Stanley Burris - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):225-227.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  18
    George Boole.Stanley Burris - 2010 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  13
    Model Companions with Finitely Many Countable Models.Stanley Burris - 1994 - Mathematical Logic Quarterly 40 (1):141-142.
    We present two conditions which are equivalent to having an almost χ0-categorical model companion.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  40
    The Horn theory of Boole's partial algebras.Stanley N. Burris & H. P. Sankappanavar - 2013 - Bulletin of Symbolic Logic 19 (1):97-105.
    This paper augments Hailperin's substantial efforts 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 (7 more)  
     
    Export citation  
     
    Bookmark  
  10.  10
    The Model Completion of the Class of ℒ︁‐Structures.Stanley Burris - 1987 - Mathematical Logic Quarterly 33 (4):313-314.
  11.  27
    The Model Completion of the Class of ℒ-Structures.Stanley Burris - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):313-314.