The following pages link to (Q4264098):
Displaying 4 items.
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals (Q2462670) (← links)
- (Q5020549) (← links)
- Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions (Q6152662) (← links)
- A fixed-point theorem for Horn formula equations (Q6647303) (← links)
