Логика суждений существования, рекурсивно эквивалентная силлогистике с неопределенно-местной константойдоклад на конференции