Обсуждение:Допустимое правило
 | Эта статья имеет рейтинг C-класса по шкале оценки контента Википедии . Она представляет интерес для следующих WikiProjects : | ||||||||||||||||||||||
| |||||||||||||||||||||||
Без названия
Я заменил правило допустимого вывода на перенаправление на эту страницу. Я считаю, что другая статья была неверной: Допустимость касается не составления существующих правил вывода, а фактов, которые возникают, поскольку эти правила вывода являются единственными в системе. Например, в общем случае нельзя построить правило разреза, составив другие правила (тогда оно было бы выводимым ); скорее, нужно фактически выполнить вычисление выводов посылок, чтобы сформировать вывод заключения.
Некоторое время назад я написал некоторую информацию о допустимости в статье о правилах вывода . Я думаю, что материал справедливо относится к этой статье, но, конечно же, статья "Допустимое правило" не должна быть заглушкой, которая короче обсуждения в какой-то более крупной статье. Мысли? Brighterorange 22:04, 25 апреля 2005 (UTC)
Я запутался. В этой статье утверждается, что концепция допустимого правила была введена в 1955 году, однако Генцен показал, что Cut был допустим в LK в 1934 году, согласно статье о теореме об исключении Cut. Я что-то путаю? Мы говорим о двух разных понятиях допустимости или о чем? DPMulligan ( talk ) 10:34, 19 мая 2008 (UTC)
- Генцен доказал в 1934 году теорему об устранении сечения для своего секвенциального исчисления. Он не выделил допустимость как общее понятие, которое вошло в жаргон теории доказательств лишь гораздо позже. Нет необходимости или причины ссылаться на допустимые правила в формулировке теоремы Генцена. — EJ ( talk ) 12:52, 19 мая 2008 (UTC)
Я запутался. Пример 3 [ <>p & <>~p / _|_ ] говорит, что он выводим в GL и S4.1, но я не думаю, что он выводим в GL (Boolos в "логике доказуемости" (1993) даже использует его как контрмодель для GL на странице 124. — Предыдущий неподписанный комментарий добавлен 188.29.109.243 (обсуждение) 15:03, 24 августа 2011 (UTC)
Внешние ссылки изменены
Здравствуйте, уважаемые википедисты!
Я только что изменил одну внешнюю ссылку на Admissible rule . Пожалуйста, уделите немного времени, чтобы просмотреть мои правки. Если у вас есть вопросы или вам нужно, чтобы бот игнорировал ссылки или страницу в целом, посетите этот простой раздел FaQ для получения дополнительной информации. Я внес следующие изменения:
- Добавлен архив https://web.archive.org/web/20110718020147/http://tocl.acm.org/accepted/318wolter.pdf в http://tocl.acm.org/accepted/318wolter.pdf
Когда вы закончите просматривать мои изменения, пожалуйста, установите отмеченный параметр ниже на значение true или failed, чтобы сообщить об этом другим (документация по адресу ).{{Sourcecheck}}
Это сообщение было опубликовано до февраля 2018 года . После февраля 2018 года разделы страниц обсуждения "Внешние ссылки изменены" больше не генерируются и не отслеживаются InternetArchiveBot . Никаких специальных действий в отношении этих уведомлений страниц обсуждения не требуется, кроме регулярной проверки с использованием инструкций инструмента архивации ниже. Редакторы имеют право удалять эти разделы страниц обсуждения "Внешние ссылки изменены", если они хотят очистить страницы обсуждения от загромождения, но перед выполнением массовых систематических удалений ознакомьтесь с RfC . Это сообщение динамически обновляется через шаблон (последнее обновление: 5 июня 2024 г.) .{{source check}}
- Если вы обнаружили URL-адреса, которые бот ошибочно посчитал нерабочими, вы можете сообщить о них с помощью этого инструмента.
- Если вы обнаружили ошибку в архивах или самих URL-адресах, вы можете исправить их с помощью этого инструмента.
Привет.— InternetArchiveBot ( Сообщить об ошибке ) 12:04, 4 октября 2016 (UTC)
