admissible rule in (P1517)
Jump to navigation
Jump to search
this logic inference rule is admissible in that logical system
| Language | Label | Description | Also known as |
|---|---|---|---|
| English |
admissible rule in
|
this logic inference rule is admissible in that logical system
|
Data type
Item
