| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Научно-исследовательский семинар по математической логике
|
|||
|
|
|||
|
Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика Ю. В. Саватеев |
|||
|
Аннотация: В докладе предложены секвенциальные исчисления с нефундированными выводами для логики Гжегорчика Grz и слабой логики Гжегорчика wGrz. Для этих исчислений строится оператор удаления сечения как неподвижная точка нерастягивающего отображения в ультраметрическом пространстве. |
|||
