Skip to main content
Module rules
argumentation
0.2.0
Module rules
Module Items
Structs
Enums
In argumentation::
aspic
argumentation
::
aspic
Module
rules
Copy item path
Source
Expand description
Strict and defeasible inference rules.
Structs
§
Rule
A rule: premises → conclusion, either strict or defeasible.
RuleId
A rule id, unique within a
RuleSet
.
Enums
§
Rule
Kind
Whether a rule is strict or defeasible.