|
Название документа
|
Дата добавления
|
| Логика |
19.07.2006 |
| Предмет и значение логики |
19.07.2006 |
| Основные законы логики |
19.07.2006 |
| Понятие |
19.07.2006 |
| Суждение |
19.07.2006 |
| Логика вопросов и ответов |
19.07.2006 |
| Умозаключение |
19.07.2006 |
| Логические основы теории аргументации |
19.07.2006 |
| логика |
19.07.2006 |
| Логика неопределенности и неопределенности во времени* |
14.07.2006 |
| Неформализуемость как логическая характеристика жизни |
14.07.2006 |
| Неявная определимость |
14.07.2006 |
| О некоторых особенностях построения компьютерной реализации алгоритма автоматического доказательства теорем в натуральном исчислении . |
14.07.2006 |
| О прикладных теориях с суперинтуиционистскими ло-гиками |
14.07.2006 |
| О семантиках классической логики |
14.07.2006 |
| Об интерпретации секвенций в ситусах |
14.07.2006 |
| Об одной модификации семантических таблиц |
14.07.2006 |
| Обобщенные истинностные значения: решетки и мультирешетки |
14.07.2006 |
| Погружение классической пропозициональной логики в ее импликативный фрагмент и в импликативный фрагмент интуиционистской пропозициональной логи-ки |
14.07.2006 |
| Позитивные силлогистики Васильевского типа |
14.07.2006 |
| Проблема реконструкции ассерторической силлогистики Н.А.Васильева |
14.07.2006 |
| Реконструкция логики N измерений Н.А.Васильева |
14.07.2006 |
| Свойства времени |
14.07.2006 |
| Свойства времени |
14.07.2006 |
| СЕМАНТИКА НЕОПРЕДЕЛЕННОСТИ* |
14.07.2006 |
| Сингулярная негативная силлогистика Аристотеля |
14.07.2006 |
| Система NFI, равнонепротиворечивая |
14.07.2006 |
| Слабая транзитивность – реституция |
14.07.2006 |
| Теорема дедукции для всех систем |
14.07.2006 |
| Теорема о полноте для семантики пропозиционального фрагмента |
14.07.2006 |
