TY  - RPRT
TI  - Degree of Satisfiability in Heyting Algebras
AU  - Benjamin Merlin Bumpus
AU  - Zoltan A. Kocsis
PY  - 2024
DO  - 10.1017/jsl.2024.2
UR  - https://arxiv.org/abs/2110.11515
ID  - 2110.11515
ER  -