The following pages link to Operator of positive closure (Q416948):
Displayed 4 items.
- On the enumeration closure operator in multivalued logic (Q893188) (← links)
- Implicit expressibility in multiple-valued logic (Q2107856) (← links)
- Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions (Q2287402) (← links)
- Closure operators with positive connectives and quantifiers (Q2364246) (← links)