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:
“It is hardly to be believed how spiritual reflections when mixed with a little physics can hold peoples attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.”
—G.C. (Georg Christoph)
“No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
—André Breton (18961966)
“It is sentimentalism to assume that the teaching of life can always be fitted to the childs interests, just as it is empty formalism to force the child to parrot the formulas of adult society. Interests can be created and stimulated.”
—Jerome S. Bruner (20th century)
Related Phrases
Related Words