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).

Preview

PDF AKS.pdf - Published Version All rights reserved. Download (203kB) | Preview

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:	17 Mar 2021 23:49
URI:	https://shura.shu.ac.uk/id/eprint/24264

Actions (login required)

View Item

Downloads

Publication Metrics