Admissible rule
id:
admissible-rule-268-12340419
title:
Admissible rule
text:
In logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955).
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Admissible_rule
date created:
date modified:
2024-02-23T11:33:01Z
main entity:
{"identifier":"Q1560157","url":"https://www.wikidata.org/entity/Q1560157"}
image:
fields total:
13
integrity:
13