Intensional FOL: Many-Sorted Extension
<|reference_start|>Intensional FOL: Many-Sorted Extension: The concepts used in IFOL have associated to them a list of sorted attributes, and the sorts are the intensional concepts as well. The requirement to extend the unsorted IFOL (Intensional FOL) to many-sorted IFOL is mainly based on the fact that a natural language is implicitly many-sorted and that we intend to use IFOL to support applications that use natural languages. Thus, the proposed version of many-sorted IFOL is just the completion of this conceptual feature of the IFOL.<|reference_end|>
@article{majkic2024intensional,
    title={Intensional FOL: Many-Sorted Extension},
    author={Zoran Majkic},
    journal={arXiv preprint arXiv:2409.04469},
    year={2024},
    archivePrefix={arXiv},
    eprint={2409.04469},
    primaryClass={cs.AI}
}