Pages that link to "Item:Q3835754"
From MaRDI portal
The following pages link to On some closed classes in partial two-valued logic (Q3835754):
Displaying 25 items.
- Minimal partial ultraclones on a two-element set. (Q278534) (← links)
- Strong partial clones and the time complexity of SAT problems (Q340559) (← links)
- Description of all minimal classes in the partially ordered set \(\mathcal L_2^3\) of closed classes of the three-valued logic that can be homomorphically mapped onto the two-valued logic (Q493891) (← links)
- On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\) (Q509534) (← links)
- On the lattice of \(ES_I\)-closed classes of multifunctions on two-elements set (Q832980) (← links)
- On the action of the implicative closure operator on the set of partial functions of the multivalued logic (Q2050224) (← links)
- On closed classes in partial \(k\)-valued logic that contain all polynomials (Q2050231) (← links)
- On the cardinality of interval \(\text{Int}(\text{Pol}_k)\) in partial \(k\)-valued logic (Q2088734) (← links)
- A family of closed classes in \(k\)-valued logic (Q2314210) (← links)
- Construction of an infinite set of classes of partial monotone functions of multi-valued logic (Q2319972) (← links)
- On the structure of the lattice of classes of partial monotone many-valued logic functions (Q2332033) (← links)
- On closed classes in partial \(k\)-valued logic that contain the class of monotone functions (Q2332892) (← links)
- Dichotomy on intervals of strong partial Boolean clones (Q2351515) (← links)
- Weak bases of Boolean co-clones (Q2448853) (← links)
- Positively closed classes of partial Boolean functions (Q2519398) (← links)
- The predicate method to construct the Post lattice (Q2889730) (← links)
- The completeness problem in the function algebra of linear integer-coefficient polynomials (Q2997863) (← links)
- The closure operator with the equality predicate branching on the set of partial Boolean functions (Q3184551) (← links)
- A-closed classes of many-valued logic containing constants (Q4522770) (← links)
- (Q4583840) (← links)
- Classification of the Maximal Clones of Two-Valued Logic (Q4804761) (← links)
- (Q4963135) (← links)
- Partial Polymorphisms and Constraint Satisfaction Problems (Q5504705) (← links)
- (Q5863850) (← links)
- On two intervals in the lattice of partial ultraclones of rank 2 (Q6587381) (← links)