Toggle Main Menu Toggle Search

Open Access padlockePrints

A Semantic Analysis of Logics that Cope with Partial Terms

Lookup NU author(s): Professor Cliff JonesORCiD, Matthew Lovert, Dr Jason Steggles



Specifications of programs frequently involve operators and functions that are not defined over all of their (syntactic) domains. Proofs about specifications -and those to discharge proof obligations that arise in justifying steps of design- must be based on formal rules. Since classical logic deals only with defined values, some extra thought is required. There are several ways of handling terms that can fail to denote a value – this paper provides a semantically based comparison of three of the best known approaches. In addition, some pointers are given to further alternatives.

Publication metadata

Author(s): Jones CB, Lovert MJ, Steggles LJ

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 17

Print publication date: 01/01/2012

Source Publication Date: January 2012

Report Number: 1310

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne