Силлогистические теории, в которых частные высказывания понимаются как высказывания с кванторным выражение “только некоторые”. В этом случае частноутвердительное и частноотрицательное высказывания с одинаковыми субъектами и предикатами эквивалентны. При формализации васильевских силлогистик для обозначения такой частной силлогистической связки обычно используется значок “t”, но есть и формализации с “i”.Формализации силлогистик васильевского типа со связкой “t”:
Формализации силлогистик васильевского типа со связкой “i”: