Publication | Closed Access
The development of multiple-valued logic as related to computer science
74
Citations
0
References
1974
Year
Applied LogicEngineeringComputing With WordsFormal VerificationLogic ProgrammingIntermediate ChoicesComputational LogicNon-monotonic LogicMultiple-valued LogicMany-valued LogicManagementSystems EngineeringDecision TheoryCognitive ScienceComputer ScientistsComputer ScienceReasoningAutomated ReasoningFormal MethodsDoxastic LogicLogical AnalysisDecision Technology
Computer scientists are familiar with options in which there are no middle choices between true and false. The lack of such choices is inconvenient — even critical — for example, when determining whether the status of a computer system is go or no-go. Multiple-valued logic is concerned with these intermediate choices.