Models for the substitution axiom of UNITY logic

G. Reichwein; JoseLuiz Fiadeiro

doi:10.1016/0020-0190(93)90141-U

Models for the substitution axiom of UNITY logic

G. Reichwein (Lead / Corresponding author), JoseLuiz Fiadeiro

Science and Engineering Office

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Abstract

The soundness of the UNITY logic has been questioned due to doubts concerning the soundness of its substitution axiom. We address these questions by first asking what are possible models for UNITY. A rigorous definition of the elements of UNITY reveals the meta-logical character of the substitution axiom (for which we propose a formalization). We characterize classes of models for which the formal version of the substitution axiom holds and discuss their suitability for UNITY as a program design language.

Original language	English
Pages (from-to)	171-176
Number of pages	6
Journal	Information Processing Letters
Volume	48
Issue number	4
DOIs	https://doi.org/10.1016/0020-0190(93)90141-U
Publication status	Published - 29 Nov 1993

Access to Document

10.1016/0020-0190(93)90141-U

http://www.scopus.com/inward/record.url?scp=0027697895&partnerID=8YFLogxK

Cite this

@article{f3cb0476fde24afa9f7d429f35ea0b6a,

title = "Models for the substitution axiom of UNITY logic",

abstract = "The soundness of the UNITY logic has been questioned due to doubts concerning the soundness of its substitution axiom. We address these questions by first asking what are possible models for UNITY. A rigorous definition of the elements of UNITY reveals the meta-logical character of the substitution axiom (for which we propose a formalization). We characterize classes of models for which the formal version of the substitution axiom holds and discuss their suitability for UNITY as a program design language.",

author = "G. Reichwein and JoseLuiz Fiadeiro",

year = "1993",

month = nov,

day = "29",

doi = "10.1016/0020-0190(93)90141-U",

language = "English",

volume = "48",

pages = "171--176",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "4",

}

TY - JOUR

T1 - Models for the substitution axiom of UNITY logic

AU - Reichwein, G.

AU - Fiadeiro, JoseLuiz

PY - 1993/11/29

Y1 - 1993/11/29

N2 - The soundness of the UNITY logic has been questioned due to doubts concerning the soundness of its substitution axiom. We address these questions by first asking what are possible models for UNITY. A rigorous definition of the elements of UNITY reveals the meta-logical character of the substitution axiom (for which we propose a formalization). We characterize classes of models for which the formal version of the substitution axiom holds and discuss their suitability for UNITY as a program design language.

AB - The soundness of the UNITY logic has been questioned due to doubts concerning the soundness of its substitution axiom. We address these questions by first asking what are possible models for UNITY. A rigorous definition of the elements of UNITY reveals the meta-logical character of the substitution axiom (for which we propose a formalization). We characterize classes of models for which the formal version of the substitution axiom holds and discuss their suitability for UNITY as a program design language.

U2 - 10.1016/0020-0190(93)90141-U

DO - 10.1016/0020-0190(93)90141-U

M3 - Article

SN - 0020-0190

VL - 48

SP - 171

EP - 176

JO - Information Processing Letters

JF - Information Processing Letters

IS - 4

ER -

Models for the substitution axiom of UNITY logic

Abstract

Access to Document

Fingerprint

Cite this