Реляционная семантика релевантных исчислений.
Main Article Content
Аннотация
Предлагаемая здесь семантика S^e^aS^e^a отличается от обычной семантики крипкевского типа тем, что отношение достижимости устанавливается не на множестве отдельных миров, а на их упорядоченных парах. Каждую такую пару составляют мир атомарных предложений и мир формул. Именно эти пары и составляют то, что в S^e^aS^e^a называется "миром" или универсумом рассуждения. Отличительной особенностью семантики S^e^aS^e^a является то, что никакая формула не является в ней тождественно истинной или тождественно ложной в том смысле, что для всякой формулы имеются универсумы рассуждений, в которых она может быть верифицирована, и такие, в которых она фальсифицируется. При этом семантически истинной считается только такая формула АА, которая верифицируется в каждом мире, в котором верифицируется соответствующая релевантная импликация А→АА→А.
Скачивания
Article Details
Как цитировать
Сидоренко Е. Реляционная семантика релевантных исчислений. // Логические исследования / Logical Investigations. 1995. Т. 3. C. 53-71.
Выпуск
Раздел
Статьи