Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Investigating Z

      Henson, Martin C.; Reeves, Steve
      Thumbnail
      Files
      investigating Z.pdf
      255.5Kb
      DOI
       10.1093/logcom/10.1.43
      Link
       logcom.oxfordjournals.org
      Find in your library  
      Citation
      Export citation
      Henson, M.C. & Reeves, S. (2000). Investigating Z. Journal of Logic and Computation, 10(1), 43-73.
      Permanent Research Commons link: https://hdl.handle.net/10289/1470
      Abstract
      In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete shema calculus can be derived within this logic and in doing so we reveal a high degree of logical organization within the language. Finally, our approach eschews all non-standard concepts introduced in the standard approach, notably object level notions of substitution and entities which share properties both of constants and variables. We show, in addition, that these unusual notions are derivable in Zc and are, therefore, unnecessary innovations.
      Date
      2003
      Type
      Journal Article
      Publisher
      Oxford University Press
      Rights
      This article has been published in the journal: Investigating Z. Copyright © Oxford University Press.
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      95
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement