14 found
Order:
Disambiguations:
Robert Cowen [12]Robert H. Cowen [7]
  1.  2
    Robert Cowen (2009). 2-CNFS and Logical Embeddings. Studia Logica 93 (1):15-19.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. 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  
  3.  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  
  4.  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  
  5.  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.
  6.  21
    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 (6 more)  
     
    Export citation  
     
    My bibliography  
  7.  4
    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.  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  
  9. Robert Cowen (1997). Autonomy, Citizenship, Themarketand Education. In David Bridges (ed.), Education, Autonomy, and Democratic Citizenship: Philosophy in a Changing World. Routledge 2--61.
  10. Robert Cowen, Sean D. Healy, Edgar B. Gumbert, Geoffrey M. Ibim, Fannie R. Cooley, Stuart J. Cohen, Maurice F. Freehill, Evan R. Powell, Virginia K. Wiegand, Geraldine Johncich Clifford, Charles E. Mcclelland, George C. Stone, Glenn C. Atkyns, Barbara Finkelstein, Gene P. Agre, Harrison Jr & William G. Williams (1973). Book Reviews Section 2. Educational Studies 4 (4):210-221.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Robert Cowen (1997). The Evaluation of Higher Education Systems. British Journal of Educational Studies 45 (2):213-213.
     
    Export citation  
     
    My bibliography  
  12. 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  
  13. 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  
  14. 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