The following pages link to (Q3835445):
Displaying 7 items.
- Truth-value semantics and functional extensions for classical logic of partial terms based on equality (Q740205) (← links)
- On modal logics of partial recursive functions (Q817692) (← links)
- E3: A logic for reasoning equationally in the presence of partiality (Q1806134) (← links)
- Near-equational and equational systems of logic for partial functions. II (Q3203006) (← links)
- A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions (Q3755429) (← links)
- (Q4016066) (← links)
- (Q5413342) (← links)