Без заголовка

не попадается ) в английской вики тоже нет вроде как нет такого термина, можете дать ссылку на статью в какой-либо энциклопедии? термин либо нестандартный либо неформальный типа метафоры попадаются вот такие Логика высказываний, или пропозициональная логика, или исчисление высказываний https:/ru.wikipedia.org/wiki/Логика_высказываний ru.wikipedia.org/wiki/Логика_первого_порядка ru.wikipedia.org/wiki/Логика_второго_порядка Логика высшего порядка Логика разделения Логика Хоара есть вероятностная логика (Нейман и другие) есть многозначные и непрерывные логики есть модальные логики логика силлогизмов и т.п. байесианская логика или байесова логика или bayesian logic не попадается