@misc{indiciaeea15003ceb76,
  title = {Failure of Higher-Order Truth within Intuitionistic Propositional Logic},
  author = {Yiqi Xu and Lingyuan Ye},
  year = {2026},
  url = {https://arxiv.org/abs/2608.26874},
  note = {Source identifier: 2608.26874}
}