PahomUbuntu пишет:В рунете ничего не найдёте. В китайнет!
Это вы нарочно врёте? Или вы банально не в теме?? Вбейте в поисковик слово "Сетунь". Узнаете для себя много нового в Рунете.
И зачем такой пафос вокруг именно троичной логики?
s.xbatob пишет:Жаль, в поддержке в железе возникли проблемы, а реализовывать на двоичном железе -- это всё загубить.
Ой-вей, таки что загубить? Морально-этический формализм (машину доказательств для торы/корана/библии
) реально сваять только в 4-логике (четверичная, по-вашему если).
В русском предисловии к Бетонной математике есть такая примерно фраза: От сейчас вы поймёте, как из тупых американских школьников получаются лучшие в мире математики.
Так секрет простой: оне, поганки, просто по-честному читают этот свой талмуд, и испражнения делают 
А работы по логике Порецкого (или хотя бы акына Лобанова), Маслова (метод, равноценный методу резолюций мистера Робинзона, а в чём-то и покруче будет),
Малюгина (который Айкена покрыл как бык овцу по части арифметизации логики), Кузнецова (содержательно - не фонтан, но писано с задором), Кулика (просто хороший дядька, который умеет думать) -
зачем это всё читать-то - проще же ж посылать друг друга в китайнет, да про Алексея Николаевича Косыгина плохо отзываться. Как будто ваше мнение что-то меняет в реальном мире 
У вас тут какая-то виртуальная секта воинствующего невежества, или что?
Давно уже не забавно наблюдать торжество отрицательного отбора.