5 found
Order:
  1.  37
    Manufacturing a Cartesian Closed Category with Exactly Two Objects Out of a C-Monoid.P. H. Rodenburg & F. J. Linden - 1989 - Studia Logica 48 (3):279-283.
    A construction is described of a cartesian closed category A with exactly two elements out of a C-monoid such that can be recovered from A without reference to the construction.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  2.  36
    Termination and Confluence in Infinitary Term Rewriting.P. H. Rodenburg - 1998 - Journal of Symbolic Logic 63 (4):1286-1296.
    The basic notions of the theory of term rewriting are defined for terms that may involve function letters of infinite arity. A sufficient condition for completeness is derived, and its use demonstrated by the example of abstract clones over infinitary signatures.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.P. H. Rodenburg - 1991 - Mathematical Logic Quarterly 37 (23‐24):357-362.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  25
    The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.P. H. Rodenburg - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (23-24):357-362.
  5.  8
    A Complete System of Four-Valued Logic.P. H. Rodenburg & Carsten Lutz - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):367-392.