Pages that link to "Item:Q3813851"
From MaRDI portal
The following pages link to A system of logic for partial functions under existence-dependent kleene equality (Q3813851):
Displaying 7 items.
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523) (← links)
- Near-equational and equational systems of logic for partial functions. I (Q3032234) (← links)
- (Q3487319) (← links)
- (Q3835445) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)
- Logical models of mathematical texts: the case of conventions for division by zero. (Q6661237) (← links)