The following pages link to (Q4342087):
Displaying 13 items.
- Remarks on the theory of quasi-sets (Q609640) (← links)
- Choice inclusive general rough semantics (Q632709) (← links)
- Some uses of logic in rigorous philosophy (Q660455) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- IF-logic and truth-definition (Q1267079) (← links)
- A computational model of belief (Q1575433) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- What is identical? (Q2045002) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
- An axiomatization of PCTL* (Q2566222) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
