The following pages link to Operator of positive closure (Q416948):
Displaying 6 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)
- Implicatively implicit extensions in three-valued logic (Q6545504) (← links)
- Logical extensions of the parametric closure operator (Q6548978) (← links)