Property talk:P2577
Documentation
admissible rule in
this logic inference rule is admissible in that logical system
this logic inference rule is admissible in that logical system
Represents | admissible rule (Q1560157) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Data type | Item | |||||||||
Domain | rule of inference (Q1068763) (note: this should be moved to the property statements) | |||||||||
Allowed values | instances of logic (Q8078) (note: this should be moved to the property statements) | |||||||||
Example | modus ponens (Q655742) → classical logic (Q236975) double negative elimination (Q737471) → classical logic (Q236975) modus ponens (Q655742) → intuitionistic logic (Q176786) | |||||||||
Lists |
| |||||||||
Proposal discussion | Proposal discussion | |||||||||
Current uses |
| |||||||||
Search for values |
[create Create a translatable help page (preferably in English) for this property to be included here]
Scope is as main value (Q54828448): the property must be used by specified way only (Help)
List of violations of this constraint: Database reports/Constraint violations/P2577#Scope, hourly updated report, SPARQL