1: \begin{abstract}

2: \noindent

3: We investigate the encoding of higher-dimensional logic into quantum states.

4: To that end we introduce finite-function-encoding (FFE) states which

5: encode arbitrary $d$-valued logic functions and investigate their

6: structure as an algebra over the ring  of integers modulo $d$.

7: We point out that the polynomiality of the function is the deciding property for associating hypergraphs to states. 

8: Given a polynomial, we map it to a tensor-edge hypergraph, where each edge of the hypergraph is associated with a tensor.

9: We observe how these states generalize the previously defined qudit hypergraph states, especially through the study of a group of finite-function-encoding Pauli stabilizers.

10: Finally, we investigate the structure of FFE states under local unitary operations, with a focus on the bipartite scenario and its connections to the theory of complex Hadamard matrices.

11: 

12: 

13: \end{abstract}

14: