Pages that link to "Item:Q2295970"
From MaRDI portal
The following pages link to Completeness criterion for the enumeration closure operator in three-valued logic (Q2295970):
Displaying 5 items.
- The FE-closure operator in countable-valued logic (Q384749) (← links)
- The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set (Q2280349) (← links)
- Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions (Q2287402) (← links)
- (Q4722043) (← links)
- Logical extensions of the parametric closure operator (Q6548978) (← links)