Observations

Поспал я немного, в шесть уже кофе варил, в семь в школе.

Студентов сегодня мало пришло, 13 всего, знают, что тема "необязательная".

Но которые пришли, те о!

Я им впаривал законы де Моргана для случая трёхзначной интуиционистской логики, потом многозначную булеву (помянул и множественные вселенные в качестве примера), потом логику на poset [0,1], со всеми операциями; и ещё делали упражнения из учебника, но с такими вот интуиционистскими логиками. "если a - куб, с достоверностью x, а b - тетраэдр с достоверностью y, ну и т.д. Ничего, доказывается; законы же есть.

Потом постепенно прокрутил строительство алгебр Гейтинга чисто из требований логики (нужно два моноида, дистрибутивность, ограниченность, и соответствие Галуа для коньюнкции.

И все дела.

После урока подошли и попросили дать им ещё домашних заданий - про моноиды.

Да я чо, я и про алгебры Гейтинга могу дать, только я как-то стеснялся пока.