Множества Хинтикки: как правильно построить?

[Чудо-в-перьях]

Самое смешное, почти 2 года прошло с момента поднятия данного вопроса, а множества ни руководитель, ни я, ни коллега, работающий в данной теме, так и не построили. Может, их вообще нельзя построить для силлогистических высказываний именно как силлогистических высказываний, а не каких-то их трансформаций в ЛП или ЛВ ( в зависимости от принимаемой семантики, конечно). Хотя бы потому, что $SaP \in H\to (SaM\in H\wedge MaP\in H)$ есть, по сути, "обращенное" правило сечения. Какое правило сечения в МХ и какая силлогистика без модусов и, т.о., без данных правил?

-- Чт янв 13, 2011 16:11:21 --

Да и не только поэтому. По сути, преходы вида $SaP\in H\to ((SiP\in H)\vee (PiS\in H)\vee (Se\sim P\in H))$ ни к чему не редуцируют исходную формулу, не упрощают ее, и мы не можем, установив истинность элементарных формул, автоматически устанавливать истинность более сложных, как мн-ва Хинтикки и позволяют делать.:)