General Criterion for Essential Nonfault Locatability of Logical Functions

DOI10.1109/TC.1987.1676948MaRDI QIDQ4721959zbMATH OpenFDO

Authors František Kremla

Publication date 1987

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.1987.1676948

zbMATH Keywords

diagnostic informationcongruence relationtolerance relationdiagnosticsKarnaugh mapstuck faultsBoolean combinational circuitstopological representation of Boolean algebras

Mathematics Subject Classification ID

Recommendations

• A note on generalized functional completeness in the realm of elementary logic
• Characterization of generalized necessity functions in Łukasiewicz logic
• scientific article; zbMATH DE number 2090037
• scientific article; zbMATH DE number 219938
• Realization of not everywhere defined functions of the algebra of logic
• A note on logicality of generalized quantifiers
• A truth-functional logic for near-universal generalizations
• Generalized effective completeness for continuous logic
• Generalizing functional completeness in Belnap-Dunn logic
• Criteria of functional completeness for meta-algebras without assignments of logical constants

This page was built for publication: General Criterion for Essential Nonfault Locatability of Logical Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4721959)