| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Международная школа-семинар "Синтаксис и семантика логических систем"
|
|||
|
|
|||
|
Константа Сметанича и метод конечной канонической модели А. Д. Яшин Удмуртский государственный университет, г. Ижевск |
|||
|
Аннотация: Метод конечной канонической модели, разработанный К. Шютте, применяется к так называемой логике Сметанича, определяющей новую логическую константу в интуиционистской пропозициональной логике. Это позволяет одновременно доказать семантическую полноту в классе соответствующих моделей Крипке и финитную аппроксимируемость логики Сметанича. |
|||