12 found
Sort by:
Disambiguations:
Robert H. Cowen [7]Robert Cowen [5]
  1. Robert Cowen (2009). 2-Cnfs and Logical Embeddings. Studia Logica 93 (1):15 - 19.
    The expressive power of 2-cnfs, conjunctive normal forms with two literals per clause, is shown to be severely limited compared to 3-cnfs.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Robert Cowen (1997). Autonomy, Citizenship, Themarketand Education. In David Bridges (ed.), Education, Autonomy, and Democratic Citizenship: Philosophy in a Changing World. Routledge. 2--61.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Robert Cowen (1997). The Evaluation of Higher Education Systems. British Journal of Educational Studies 45:213-213.
     
    My bibliography  
     
    Export citation  
  4. Robert Cowen & William Emerson (1996). A Compactness Theorem for Linear Equations. Studia Logica 57 (2-3):355 - 357.
    It is proved that a system of linear equations over an arbitrary field has a solution if every finite subsystem has a solution provided that the set of variables can be well ordered.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Robert Cowen & Katherine Wyatt (1993). BREAKUP: A Preprocessing Algorithm for Satisfiability Testing of CNF Formulas. Notre Dame Journal of Formal Logic 34 (4):602-606.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Robert H. Cowen (1990). Two Hypergrαph Theorems Equivalent toBPI. Notre Dame Journal of Formal Logic 31 (2).
     
    My bibliography  
     
    Export citation  
  7. Robert H. Cowen (1990). Two Hypergraph Theorems Equivalent to ${\Rm BPI}$. Notre Dame Journal of Formal Logic 31 (2):232-240.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Robert H. Cowen (1977). Binary Consistent Choice on Triples. Notre Dame Journal of Formal Logic 18 (2):310-312.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Robert H. Cowen (1977). Generalizing König's Infinity Lemma. Notre Dame Journal of Formal Logic 18 (2):243-247.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Robert H. Cowen (1975). A Characterization of Logical Consequence in Quantification Theory. Notre Dame Journal of Formal Logic 16 (3):375-377.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Robert H. Cowen (1971). Superinductive Classes in Class-Set Theory. Notre Dame Journal of Formal Logic 12 (1):62-68.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Robert H. Cowen (1970). A New Proof of the Compactness Theorem for Propositional Logic. Notre Dame Journal of Formal Logic 11 (1):79-80.