The following pages link to About \({|}/{|}\)-quantifiers (Q1410543):
Displaying 8 items.
- On lovely pairs and the \((\exists y\in P)\) quantifier (Q817964) (← links)
- Some quantifiers require two-predicate scopes (Q1090330) (← links)
- Quantifiers and congruence closure (Q1300006) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)
- (Q4686401) (← links)
- (Q4906770) (← links)
