Projekt će uspostaviti novu istraživačku grupu u području matematičke logike, s ciljem uspostave suradnje među istraživačima čiji dosadašnji rezultati su pretežno teorijski s istraživačima koji su se u dosadašnjem znanstvenom radu fokusirali na primjene. Stoga je naglasak projekta na međusobnoj komunikaciji i diseminaciji, kao i usavršavanju doktoranada koji će se od samog početka znanstvene karijere poticati da razviju ovaj interdisciplinarni pogled. Sadržajno, cilj projekta je međusobno obogaćivanje teorijske i primijenjene logike s naglaskom na primjene logike u računarstvu, ali i obratno, primjene računalnih alata u logičkom i matematičkom istraživanju. Drugi cilj je primjena logike u konkretnim problemima lingvistike ili, općenitije, kognitivnih i informacijskih znanosti, pa i interdisciplinarnih područja u kojima se preklapaju ekonomija i matematika (teorija igara, teorija društvenog izbora). Na prvi pogled vrlo formalna i teorijska disciplina, logika je izrazito primjenjiva, a iznenađuje primjena istih ili sličnih logičkih sistema, osobito modalne logike, u vrlo različitim područjima. Formalizacija donosi pojmovnu preciznost i jasnoću, što omogućuje sigurnost u dokazivanju novih spoznaja, ali i rasvjetljuje kompleksnost problema i otkriva nova pitanja koja u neformalnom rasuđivanju mogu ostati skrivena. Teorijski aspekti projekta obuhvaćaju: 1) istraživanje izražajne snage formalnih jezika metodama teorije modela, 2) adekvatnost i potpunost, odlučivost i složenost logičkih sistema, osobito modalne logike, 3) istraživanje mogućnosti razvoja apstraktne teorije formalnih semantika. Aspekti primjene su: 1) razvoj, istraživanje i formalizacija matematičkih modela za probleme drugih disciplina, 2) razvoj i implementacija algoritama, 3) otkrivanje veza među pitanjima iz prividno različitih područja preko srodnih formalizacija. Projekt predviđa interdisciplinarnu i međunarodnu suradnju.

The proposed project aims to depict and explain the role and status of translated books within Croatian children’s literature, to describe trends and tendencies in a historical perspective, and to establish and interpret adopted translation strategies. The project focuses on translations of narrative fiction into and from Croatian over a span of a hundred years, i.e. in the 20th century. International scholarship in the field of children’s literature has recently turned towards comparative children’s literature, focusing on translation, intercultural transfer and contacts among languages and cultures. In so doing, it intersects with recent trends in translation studies in general. The proposed project aims to establish a team of researchers who would develop such an area of research in Croatia. The goal is to set research standards and fine-tune appropriate methodology. The researchers intend to assemble a bibliography of translated children’s books and crossover texts. Records will be analysed and interpreted with respect to the source and intermediary languages represented, historical trends, book selection relative to the canon of children’s literature, publishing practices and other aspects. Next, a selection of published books will be analysed for translation strategies at several levels of discourse. The researchers will address linguistic, narrative, cultural and intercultural aspects, and focus on uncovering translation norms and domestication strategies. Croatian books translated into other languages will receive special attention. Finally, the results will be analysed and interpreted to explain the documented translation flows, trends, and the dynamics of literary relationships in the 20th century, from the Croatian perspective and in the international context. The proposed project will present a sound foundation for further development of the established area of research and of a wider international cooperation in the future.