Examples of Sahlqvist Formulas
- Its first-order corresponding formula is, and it defines all reflexive frames
- Its first-order corresponding formula is, and it defines all symmetric frames
- or
- Its first-order corresponding formula is, and it defines all transitive frames
- or
- Its first-order corresponding formula is, and it defines all dense frames
- Its first-order corresponding formula is, and it defines all right-unbounded frames (also called serial)
- Its first-order corresponding formula is, and it is the Church-Rosser property.
Read more about this topic: Sahlqvist Formula
Famous quotes containing the words examples of, examples and/or formulas:
“Histories are more full of examples of the fidelity of dogs than of friends.”
—Alexander Pope (1688–1744)
“No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
—André Breton (1896–1966)
“That’s the great danger of sectarian opinions, they always accept the formulas of past events as useful for the measurement of future events and they never are, if you have high standards of accuracy.”
—John Dos Passos (1896–1970)
Related Phrases
Related Words