On the logic of UNITY

DOI10.1016/0304-3975(94)00043-IMaRDI QIDQ673960zbMATH OpenFDO

Authors Peter Paeppinghaus

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)00043-I

zbMATH Keywords

UNITY approachUNITY program

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99)

Recommendations

• On the unity of logic
• On the logic of unification
• scientific article; zbMATH DE number 4071154
• The syllogistic with unity
• Univalence as a principle of logic
• On the symmetry of logic
• scientific article; zbMATH DE number 2077135
• On the structure of universal logic
• Unification in modal logic

Cites work

• A predicate transformer for progress
• A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic
• Classical recursion theory. The theory of functions and sets of natural numbers.
• Countable nondeterminism and random assignment
• Elementary induction on abstract structures
• Eliminating the substitution axiom from UNITY logic
• First-order dynamic logic
• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 3735115 (Why is no real title available?)
• scientific article; zbMATH DE number 3602653 (Why is no real title available?)
• scientific article; zbMATH DE number 1142324 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Proof rules and transformations dealing with fairness
• Proof systems for infinite behaviours
• Ten Years of Hoare's Logic: A Survey—Part I
• While-programs with nondeterministic assignments and the logic ALNA

Cited in

(16)

• Models for the substitution axiom of UNITY logic
• On the logic of unification
• DUALITY: A simple formalism for the analysis of UNITY
• A mechanization of unity in PC-NQTHM-92
• UNITY and Büchi automata
• Computing with multiple discrete flows
• On the symmetry of logic
• scientific article; zbMATH DE number 1182836 (Why is no real title available?)
• scientific article; zbMATH DE number 2077135 (Why is no real title available?)
• Logical foundations for compositional verification and development of concurrent programs in UNITY
• Mechanizing UNITY in Isabelle
• A modular coding of \textsc{Unity} in \textsc{Coq}
• An experiment with the use of predicate transformers in UNITY
• Unity properties and sequences of states, some observations
• Eliminating the substitution axiom from UNITY logic
• The unity of a Tractarian fact

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: On the logic of UNITY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673960)