Уважаемые форумчане!
Не сочтите за труд - напомните какую-нибудь корректную аксиоматизацию (гильбертовского типа, вроде той что кажется Лукасевич делал) отбрасываемых формул двузначной логики высказываний. А то до книг добраться покамест возможности нет а в сети я этих книг тоже не вижу.
|