| Шиян Т.А. Множество формальных силлогистик с простыми "общими" термами (структурное описание и количественный анализ) // Электронный журнал Logical Studies. №8 (2002). www.logic.ru. |
Аннотация. В статье решается ряд поставленных ранее задач: (1) приводятся методы сравнения по дедуктивной силе теорий, сформулированных с использованием разных правил вывода, (2) строится единая структурная систематизация для всех (найденных автором) описанных в русскоязычной литературе формальных теорий в полном языке чистой позитивной силлогистики, (3) строятся адекватные силлогистические семантики для ряда собственных расширений системы С4 Лукасевича-Смирнова, доказываются соответствующие теоремы, (4) строится синтаксически полное собственное расширение С4 (теория С(1)), доказываются соответствующие теоремы, показывается взаимопогружаемость С(1) и одного варианта классической логики высказываний, (5) строится счетный класс конечно аксиоматизируемых собственных расширений С4, строятся адекватные им семантики стандартного силлогистические типа.
Статья на русском в PDF (407 kb).