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)
“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)
“You treat world history as a mathematician does mathematics, in which nothing but laws and formulas exist, no reality, no good and evil, no time, no yesterday, no tomorrow, nothing but an eternal, shallow, mathematical present.”
—Hermann Hesse (1877–1962)