Sahlqvist Formula - Examples of Sahlqvist Formulas

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:

    “There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.”
    —Bernard Mandeville (1670–1733)

    “No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
    —André Breton (1896–1966)

    “It is sentimentalism to assume that the teaching of life can always be fitted to the child’s 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)