Linear Deduction
method
ID: lineardeduction
Entity Details
Basic Information
Entity ID
lineardeduction
Entity Type
Method
English Label
Linear Deduction
Russian Label
Линейное выведение
Kazakh Label
Түзу дедукция
Frequency
1
Description
English Description
A system of deduction in linear logic used for flexible deduction.
Russian Description
-
Kazakh Description
-