Property talk:P2577
Jump to navigation
Jump to search
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) ![]() ![]() | |||||||||
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