13 found
Order:
Disambiguations:
Robert Cowen [11]Robert H. Cowen [7]
  1. 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)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  7
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  4
    Robert H. Cowen (1977). Generalizing König's Infinity Lemma. Notre Dame Journal of Formal Logic 18 (2):243-247.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  13
    Robert H. Cowen (1970). A New Proof of the Compactness Theorem for Propositional Logic. Notre Dame Journal of Formal Logic 11 (1):79-80.
  5.  15
    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)  
     
    Export citation  
     
    My bibliography  
  6.  3
    Robert H. Cowen (1971). Superinductive Classes in Class-Set Theory. Notre Dame Journal of Formal Logic 12 (1):62-68.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  2
    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)  
     
    Export citation  
     
    My bibliography  
  8. Robert Cowen (1997). Autonomy, Citizenship, Themarketand Education. In David Bridges (ed.), Education, Autonomy, and Democratic Citizenship: Philosophy in a Changing World. Routledge 2--61.
  9. Robert Cowen (2009). 2-CNFS and Logical Embeddings. Studia Logica 93 (1):15-19.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Robert Cowen (1997). The Evaluation of Higher Education Systems. British Journal of Educational Studies 45 (2):213-213.
     
    Export citation  
     
    My bibliography  
  11. Robert H. Cowen (1990). Two Hypergrαph Theorems Equivalent toBPI. Notre Dame Journal of Formal Logic 31 (2):232-240.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. 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)  
     
    Export citation  
     
    My bibliography  
  13. Robert H. Cowen (1977). Binary Consistent Choice on Triples. Notre Dame Journal of Formal Logic 18 (2):310-312.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography