Models for the substitution axiom of UNITY logic

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

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


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
Issue number4
Publication statusPublished - 29 Nov 1993


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

Cite this