Difference between revisions of "admissible rule in (P1517)"
Jump to navigation
Jump to search
(Import entity) |
(No difference)
|
Latest revision as of 08:09, 21 August 2018
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
