The following pages link to Logical equations in monadic logic (Q843613):
Displaying 9 items.
- Solving systems of arbitrary equations (Q798895) (← links)
- Elimination problems in logic: a brief history (Q1024114) (← links)
- On the implication of properties of related systems: a method for obtaining implication conditions and application examples (Q1995338) (← links)
- An equational metalogic for monadic equational systems (Q2855643) (← links)
- (Q3224257) (← links)
- (Q4284258) (← links)
- (Q4993769) (← links)
- Decidability of affine solution problems (Q5158360) (← links)
- Just do it (Q5176957) (← links)