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:
“Our good schools today are much better than the best schools of yesterday. When I was your age and a pupil in school, our teachers were our enemies.
Can any thing ... be more painful to a friendly mind, than a necessity of communicating disagreeable intelligence? Indeed it is sometimes difficult to determine, whether the relator or the receiver of evil tidings is most to be pitied.”
—Frances Burney (1752–1840)
“seizing the swift logic of a woman,
Curse God and die.”
—Edwin Arlington Robinson (1869–1935)