Most verification approaches assume a mathematical formalism in which functions are total, even though partial functions occur naturally in many applications. Furthermore, although there have been various proposals for logics of partial functions, there is no consensus on which is “the right” logic to use for verification applications. In this paper, we propose using a three-valued Kleene logic...

If logic programs are interpreted over a three-valued logic, then often Kleene’s strong three-valued logic with complete equivalence and Fitting’s associated immediate consequence operator is used. However, in such a logic the least fixed point of the Fitting operator is not necessarily a model for the program under consideration. Moreover, the model intersection property does not hold. In this...

A total-variation-minimization-based iterative algorithm is describ ed in this paper that enhances the quality of reconstructed images with time-domain data over that obtained previously with a regularized least-squares approach. ©2010 Optical Society of America OCIS codes: (110.6960) Tomography; (110.5120) Photoacoustic imaging