Uniqueness of fixpoints of single-step operators determined by Belnap's four-valued logic

CLIFFORD, Eleanor and SEDA, Anthony K. (2000). Uniqueness of fixpoints of single-step operators determined by Belnap's four-valued logic. Journal of Electrical Engineering, 51 (12/s).

[img]
Preview
PDF
AKS.pdf - Published Version
All rights reserved.

Download (203kB) | Preview
Official URL: http://iris.elf.stuba.sk/JEEEC/description.html
Related URLs:

    Abstract

    Recently, Hitzler and Seda showed how a domain-theoretic proof can be given of the fact that, for a locally hierarchical program, the single-step operator TP , de�ned in two-valued logic, has a unique �xed point. Their approach employed a construction which turned a ScottErshov domain into a generalized ultrametric space. Finally, a �xed-point theorem of PriessCrampe and Ribenboim was applied to TP to establish the result. In this paper, we extend these methods and results to the corresponding well-known single-step operators �P and P determined by P and de�ned, respectively, in three-valued and four-valued logics

    Item Type: Article
    Uncontrolled Keywords: 0906 Electrical and Electronic Engineering; Electrical & Electronic Engineering
    SWORD Depositor: Symplectic Elements
    Depositing User: Symplectic Elements
    Date Deposited: 31 Jul 2020 13:20
    Last Modified: 31 Jul 2020 13:26
    URI: http://shura.shu.ac.uk/id/eprint/24264

    Actions (login required)

    View Item View Item

    Downloads

    Downloads per month over past year

    View more statistics