TY  - RPRT
TI  - Non-Axiomatic Term Logic: A Computational Theory of Cognitive Symbolic Reasoning
AU  - Kotaro Funakoshi
PY  - 2022
DO  - 10.1527/tjsai.37-6_c-m11
UR  - https://arxiv.org/abs/2210.06316
ID  - 2210.06316
ER  -