Pages that link to "Item:Q4286215"

The following pages link to The Monotonous Elimination of Predicate Variables (Q4286215):

Displaying 3 items.

• The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837) (← links)
• Towards automating duality (Q1343394) (← links)
• Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals (Q2462670) (← links)