Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(P2577)
Watch
English
admissible rule in
this logic inference rule is admissible in that logical system
In more languages
Data type
Item
Statements
instance of
Wikidata property related to mathematics
0 references
maintained by WikiProject
WikiProject Mathematics
0 references
Wikidata item of this property
admissible rule
0 references
Wikidata property example
modus ponens
admissible rule in
classical logic
0 references
double negative elimination
admissible rule in
classical logic
0 references
modus ponens
admissible rule in
intuitionistic logic
0 references
property proposal discussion
https://www.wikidata.org/wiki/Wikidata:Property_proposal/Archive/46#P2577
0 references
Constraints
property constraint
property scope constraint
constraint status
mandatory constraint
property scope
as main value
0 references