Pages that link to "Item:Q1173782"
From MaRDI portal
The following pages link to Post's functional completeness theorem (Q1173782):
Displaying 9 items.
- Counting functions (Q689218) (← links)
- A functional completeness theorem for De Morgan functions. (Q741709) (← links)
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- On proving functional incompleteness in symbolic logic classes (Q1119618) (← links)
- Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes (Q2387440) (← links)
- Characterization of zigzag De Morgan functions (Q3178160) (← links)
- A Post-style proof of completeness theorem for symmetric relatedness Logic S (Q4629294) (← links)
- Representing voting rules in Łukasiewicz’s three-valued logic (Q5074371) (← links)
- Aggregation of Votes with Multiple Positions on Each Issue (Q5283212) (← links)