The following pages link to On the logic of UNITY (Q673960):
Displaying 13 items.
- An experiment with the use of predicate transformers in UNITY (Q673907) (← links)
- Unity properties and sequences of states, some observations (Q688444) (← links)
- Eliminating the substitution axiom from UNITY logic (Q751848) (← links)
- The unity of a Tractarian fact (Q885538) (← links)
- Models for the substitution axiom of UNITY logic (Q1313738) (← links)
- On the logic of unification (Q1823935) (← links)
- DUALITY: A simple formalism for the analysis of UNITY (Q1903074) (← links)
- A mechanization of unity in PC-NQTHM-92 (Q1961924) (← links)
- UNITY and Büchi automata (Q2026375) (← links)
- Computing with multiple discrete flows (Q2430306) (← links)
- On the symmetry of logic (Q3127683) (← links)
- (Q4400926) (← links)
- Mechanizing UNITY in Isabelle (Q5738896) (← links)