Necessity Logic
We call generalized possibility every function satisfying Axiom 1 and Axiom 3. We call generalized necessity the dual of a generalized possibility. The generalized necessities are related with a very simple and interesting fuzzy logic we call necessity logic. In the deduction apparatus of necessity logic the logical axioms are the usual classical tautologies. Also, there is only a fuzzy inference rule extending the usual Modus Ponens. Such a rule says that if α and α → β are proved at degree λ and μ, respectively, then we can assert β at degree min{λ,μ}. It is easy to see that the theories of such a logic are the generalized necessities and that the completely consistent theories coincide with the necessities (see for example Gerla 2001).
Read more about this topic: Possibility Theory
Famous quotes containing the words necessity and/or logic:
“Undoubtedly if we were to reform this outward life truly and thoroughly, we should find no duty of the inner omitted. It would be employment for our whole nature.... But a moral reform must take place first, and then the necessity of the other will be superseded, and we shall sail and plow by its force alone.”
—Henry David Thoreau (1817–1862)
“Somebody who should have been born
is gone.
Yes, woman, such logic will lead
to loss without death. Or say what you meant,
you coward . . . this baby that I bleed.”
—Anne Sexton (1928–1974)