Models for the substitution axiom of UNITY logic

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

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)171-176
Number of pages6
JournalInformation Processing Letters
Volume48
Issue number4
DOIs
Publication statusPublished - 29 Nov 1993

Fingerprint Dive into the research topics of 'Models for the substitution axiom of UNITY logic'. Together they form a unique fingerprint.

  • Cite this