Order:
Disambiguations
J. W. Degen [8]J. Wolfgang Degen [1]
  1.  12
    Towards Intuitionistic Dynamic Logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
    We propose the beginnings of an intuitionistic propopsitional dynamic logic, and describe several serious open problems.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  18
    Some Aspects and Examples of Infinity Notions.J. W. Degen - 1994 - Mathematical Logic Quarterly 40 (1):111-124.
    I wish to thank Klaus Kühnle who streamlined in [8] several of my definitions and proofs concerning the subject matter of this paper. Some ideas and results arose from discussions with Klaus Leeb. Jan Johannsen discovered some mistakes in an earlier version.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  22
    There Can Be a Permutation Which Is Not The Product of Two Reflections.J. W. Degen - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):65-66.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  19
    Logical Problems Suggested by Logicism.J. W. Degen - 2006 - Vienna Circle Institute Yearbook 12:123-138.
  5.  30
    Complete Infinitary Type Logics.J. W. Degen - 1999 - Studia Logica 63 (1):85-119.
    For each regular cardinal κ, we set up three systems of infinitary type logic, in which the length of the types and the length of the typed syntactical constructs are $\Sigma _{}$, the global system $\text{g}\Sigma _{}$ and the τ-system $\tau \Sigma _{}$. A full cut elimination theorem is proved for the local systems, and about the τ-systems we prove that they admit cut-free proofs for sequents in the τ-free language common to the local and global systems. These two results (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  6.  30
    Books Received. [REVIEW]Jan Woleński, Paweł Turnau, J. W. Degen & Arito Shtonen - 1994 - Studia Logica 53 (4):579-600.
  7.  17
    Variations of Frege's Grundgesetze.J. Wolfgang Degen - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  11
    There Can Be a Permutation Which Is Not The Product of Two Reflections.J. W. Degen - 1988 - Mathematical Logic Quarterly 34 (1):65-66.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  3
    Das onto-logische Sechseck.J. W. Degen - 1988 - Grazer Philosophische Studien 32 (1):113-121.
    Das onto-logische Sechseck ist eine Erweiterung des onto-logischen Vierecks um singuläre und universelle Sachverhalte. Beide Vielecke inkorporieren ontische, logische und ontisch-logische Relationen. Dies ist der Grund für die Bindestrichschreibung "ontologisch". Das onto-logische Sechseck liefert die Grundlage für eine neue Definition der Wahrheit eines Satzes.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark