During the course of developing a manuscript presenting our language-related work, we came up with several improvements to those terms and developed some additional terms.
The attached spreadsheet has three tabs: one for the new terms, one for the revised terms, and one for terms to import that will be used in axioms of the others.
During the course of developing a manuscript presenting our language-related work, we came up with several improvements to those terms and developed some additional terms.
The attached spreadsheet has three tabs: one for the new terms, one for the revised terms, and one for terms to import that will be used in axioms of the others.
Language-related NTRs and RTRs - 3-1-22.xlsx