Much work in MKM depends on the application of formal logic to mathematics. However, much mathematical knowledge is informal. Luckily, formal logic only represents one tradition in logic, specifically the modeling of inference in terms of logical form. Many inferences cannot be captured in this manner. The study of such inferences is still within the domain of logic, and is sometimes called inf...

The growing demands for assurance of properties like correctness, safety, and security have led to the development of design methods using mathematical logic. These methods have broad application to hardware, software, and system design. Design based on mathematical logic offers the capability to relate structural descriptions with behavioral descriptions and properties. The challenge is to mou...

The paper comments on the development and present state of fuzzy logic as a kind (branch) of mathematical logic. It is meant just as a contribution to the discussion on what fuzzy logic is, not as a systematic presentation of mathematical fuzzy logic. © 2005 Elsevier B.V. All rights reserved.