Re: Интерфейс КИЛС поддержания логики счисления предик ↑

bavi 28 ноября 2013, 17:26 в посте Metapractice (оригинал в ЖЖ)

в дополнение к ФОРМАЛЬНОЙ И ИНДЕКСНОЙ кэрролловским записям я ищу третий тип записей, который я называю "коммуникативным интерфейсом" для реализации навыков логики счисления предикатов в текущей коммуникации (типа КИЛС).

Чем отличается этот третий тип от первых двух?

Как это перевернуть знак Y' во внешней экспрессии?