Publication | Closed Access
Tzu-Hua Hoo. m-valued sub-system of (m+n)-valued propositional calculus. The journal of symbolic logic, vol. 14 (1949), pp. 177–181.
49
Citations
0
References
1950
Year
Get Access LinkHumanitiesTzu-hua HooEngineeringSymbolic LogicAutomated ReasoningPropositional LogicMany-valued LogicFormal MethodsHigher-order LogicSequent CalculusM-valued Sub-system
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.