Релевантная логика (предпосылки, исчисления, семантика) Монография
Книга посвящена основам релевантной логики причинам ее появления построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Монография |
| Редакция: | 1 |
| Online-ссылка: | https://znanium.com/catalog/document?id=245407 https://znanium.com/cover/0345/345461.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 02591nam0a2200301 i 4500 | ||
|---|---|---|---|
| 001 | RU\infra-m\znanium\bibl\345461 | ||
| 003 | https://znanium.com/catalog/document?id=245407 | ||
| 005 | 20250807000000.0 | ||
| 010 | |a 978-5-201-01925-9 | ||
| 100 | |a 20250807d2012 m y0rusy0150 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Релевантная логика (предпосылки, исчисления, семантика) |e Монография | |
| 205 | |a 1 | ||
| 210 | 1 | |a Москва |c ИФ РАН |d 2000 | |
| 215 | |a 244 с. | ||
| 330 | |a Книга посвящена основам релевантной логики причинам ее появления построению для нее адекватной реляционной семантики крипкевского типа. Дается популярное изложение семантики возможных миров. Принципиальной особенностью предлагаемой автором двухуровневой (двухэтажной) реляционной семантики с бинарным отношением достижимости является то что никакая формула логики не является истинной во всех возможных мирах а семантически истинными оказываются такие формулы А которые истинны во всех тех мирах где постулируется верность А -> А. Предлагаемая семантика адаптирована для известных релевантных исчислений E R и NR а также авторской системы Enr непосредственно формализующей необходимую импликацию описываемую в исчислении NR. | ||
| 333 | |a ВО - Магистратура | ||
| 606 | |a Философия |x Логика |2 local | ||
| 608 | |a Монография |2 local | ||
| 675 | |a 16 |z rus | ||
| 686 | |a 874 |2 rubbk | ||
| 686 | |a 40.04.01 |2 okso | ||
| 686 | |a 47.04.01 |2 okso | ||
| 700 | 1 | |a Сидоренко |b Е. А. |g Евгений Александрович | |
| 801 | 0 | |a RU |b Общество с ограниченной ответственностью «ЗНАНИУМ» |c 20120213 |2 rusmarc | |
| 856 | 4 | |a znanium.com |m ebs_support@infra-m.ru |n НИЦ ИНФРА-М |u https://znanium.com/catalog/document?id=245407 | |
| 856 | 4 | 1 | |a znanium.com |d /cover/0345 |f 345461.jpg |q image/jpeg |u https://znanium.com/cover/0345/345461.jpg |