On the logic of UNITY
type: Item
instance of: scholarly article
title: On the logic of UNITY
zbMATH Open document ID: 0874.68032
DOI: 10.1016/0304-3975(94)00043-I
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 985857
zbMATH Keywords: UNITY approach
zbMATH Keywords: UNITY program
author: Peter Paeppinghaus
describes a project that uses: UNITY
MaRDI profile type: Publication
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Proof rules and transformations dealing with fairness
cites work: Countable nondeterminism and random assignment
cites work: Q4692502
cites work: Proof systems for infinite behaviours
cites work: Q3738540
cites work: First-order dynamic logic
cites work: Q4168046
cites work: A predicate transformer for progress
cites work: Q4385540
cites work: Q3922147
cites work: While-programs with nondeterministic assignments and the logic ALNA
cites work: Elementary induction on abstract structures
cites work: Classical recursion theory. The theory of functions and sets of natural numbers.
cites work: A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic
cites work: Eliminating the substitution axiom from UNITY logic
Recommended article: On the unity of logic
Recommended article: On the logic of unification
Recommended article: Q3803296
Recommended article: The syllogistic with unity
Recommended article: Univalence as a principle of logic
Recommended article: On the symmetry of logic
Recommended article: Q4470520
Recommended article: Q5436698
Recommended article: Unification in modal logic
description: scientific article; zbMATH DE number 985857