Pages that link to "Item:Q3125967"
From MaRDI portal
The following pages link to A new version of the proof of completeness criterion for k-valued logic functions (Q3125967):
Displaying 5 items.
- Post's functional completeness theorem (Q1173782) (← links)
- An application of the \((p,q)\)-logic to the synthesis of the \(p\)-valued logical networks and the \(s\)-\((p,q)\)-logical completeness (Q1818784) (← links)
- The Słupecki criterion by duality (Q2773026) (← links)
- All creatures great and small (Q2821662) (← links)
- Clones from creatures (Q4679381) (← links)