formal logic
(subgroup of
logic)
→
CapableOf
→
encompass wide variety of logical systems
|
0.25 |