Computing Duals of Finite Gödel Algebras
2020
We introduce an algorithm that computes and counts the duals of finite Godel-Dummett algebras of $k\geq 1$ elements. The computational cost of our algorithm depends on the factorization of k, nevertheless a Python implementation is sufficiently fast to compute the results for very large values of k.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
23
References
0
Citations
NaN
KQI