Publication | Closed Access
Cut-elimination theorem for relevant logics
36
Citations
4
References
1976
Year
Non-classical LogicEngineeringSubstructural LogicAutomated ReasoningFormal MethodsFirst-order LogicComputer ScienceRelevant Logics
| Year | Citations | |
|---|---|---|
Page 1
Page 1