Релевантная логика. (предпосылки, исчисления, семантика)
Книга посвящена основам релевантной логики, причинам ее появления, построению для ее исчислений адекватной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то, что никакая формула логики не является истинной во всех...
