исчисление высказываний, исчисление предикатов, комбинаторы
https://ru.wikipedia.org/wiki/Комбинаторная_логика наверное будет и некое исчисление моделей, когда оформится наука метамоделирования
исчисление моделей видимо позволит соединить/объединить синтаксис, семантику и вычисления!!!
типа берем некие модели простые и типовые операции с моделями, ну и получаем другие модели
ну и вот такая методика как ТРИЗ может получить вполне рациональное обоснование
приемы ТРИЗ как практический вариант исчисления моделей