@misc{indiciae0fc52ffc0f89,
  title = {Non-Axiomatic Term Logic: A Computational Theory of Cognitive Symbolic Reasoning},
  author = {Kotaro Funakoshi},
  year = {2022},
  doi = {10.1527/tjsai.37-6\_c-m11},
  url = {https://arxiv.org/abs/2210.06316},
  note = {Source identifier: 2210.06316}
}