{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:42:08Z","timestamp":1770979328006,"version":"3.50.1"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686462","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T00:00:00Z","timestamp":1770854400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,2,12]]},"abstract":"<jats:p>The main goal of this paper is to propose a formalism for type checking constructions of Transparent Intensional Logic capable of detecting the widest possible range of type-theoretical incoherence. To achieve this goal, however, a slight modification to the type system of Transparent Intensional Logic is necessary, specifically in the specification of higher-order types. This adjustment brings its type system closer to the type systems of standard programming languages within the functional paradigm, thereby increasing the practical implementation potential of Transparent Intensional Logic, which has so far been primarily utilized as a syntactic standard.<\/jats:p>","DOI":"10.3233\/faia251735","type":"book-chapter","created":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T09:53:50Z","timestamp":1770976430000},"source":"Crossref","is-referenced-by-count":0,"title":["Towards Resolving Type Incoherence in Transparent Intensional Logic"],"prefix":"10.3233","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-1675-2965","authenticated-orcid":false,"given":"Samuel","family":"Novotn\u00fd","sequence":"first","affiliation":[{"name":"Technical University of Ko\u0161ice, Department of Computers and Informatics FEI, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovak Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5393-6916","authenticated-orcid":false,"given":"Marie","family":"Du\u017e\u00ed","sequence":"additional","affiliation":[{"name":"VSB-Technical University of Ostrava, Department of Computer Science FEI, 17. listopadu 15, 708 33 Ostrava, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2852-9403","authenticated-orcid":false,"given":"William","family":"Steingatner","sequence":"additional","affiliation":[{"name":"Technical University of Ko\u0161ice, Department of Computers and Informatics FEI, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovak Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6347-2409","authenticated-orcid":false,"given":"J\u00e1n","family":"Perh\u00e1\u010d","sequence":"additional","affiliation":[{"name":"Technical University of Ko\u0161ice, Department of Computers and Informatics FEI, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovak Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Information Modelling and Knowledge Bases XXXVII"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA251735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T09:53:51Z","timestamp":1770976431000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA251735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,12]]},"ISBN":["9781643686462"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia251735","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2,12]]}}}