Order:
Did you mean: Handle, Renee
  1.  49
    Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
    We provide tools for a concise axiomatization of a broad class of quantifiers in many-valued logic, so-called distribution quantifiers. Although sound and complete axiomatizations for such quantifiers exist, their size renders them virtually useless for practical purposes. We show that for quantifiers based on finite distributive lattices compact axiomatizations can be obtained schematically. This is achieved by providing a link between skolemized signed formulas and filters/ideals in Boolean set lattices. Then lattice theoretic tools such as Birkhoff's representation theorem for finite (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Program Verification-Verifying Object-Oriented Programs with KeY: A Tutorial.Wolfgang Ahrendt, Bernhard Beckert, Reiner Hahnle, Philipp Rummer & Peter H. Schmitt - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 70.
    No categories
     
    Export citation  
     
    Bookmark