Language, Truth, and Logic was written by philosopher A.J. Ayer and first published in 1936. The book is considered a classic work in logical positivism and had a significant influence on 20th-century philosophy.

fuzzy logic is a logic which we have to implement in c language

Classical Logic allows two truth values, True and False. Multivalued or "many-valued logic" allows other kinds of truth values and it allows there to be more than two truth values.

A table of logic, or truth table, lists the possible combination of truth values for boolean (logical, two-valued) variables.

Formal logic concerns itself primarily to the correctnes rather than than the truth of a logical process.

Material logic on the other hand is the truth of a material content.