Did you mean: Wising, Martin
  1.  14 DLs
    Peter Päppinghaus & Martin Wirsing (1983). Nondeterministic Three-Valued Logic: Isotonic and Guarded Truth-Functions. Studia Logica 42 (1):1 - 22.
    Nondeterministic programs occurring in recently developed programming languages define nondeterminate partial functions. Formulas (Boolean expressions) of such nondeterministic languages are interpreted by a nonempty subset of {T (true), F (false), U (undefined)}. As a semantic basis for the propositional part of a corresponding nondeterministic three-valued logic we study the notion of a truth-function over {T, F, U} which is computable by a nondeterministic evaluation procedure. The main result is that these truth-functions are precisely the functions satisfying four basic properties, called (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2.  0 DLs
    Martin Wirsing (1979). Small Universal Post Systems. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (33):559-564.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation