General Frame
In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics: it shares the transparent geometrical insight of the former, and robust completeness of the latter.
Read more about General Frame: Definition, Types of Frames, Operations and Morphisms On Frames, Completeness, Jónsson–Tarski Duality, Intuitionistic Frames
Famous quotes containing the words general and/or frame:
“Though of erect nature, man is far above the plants. For man’s superior part, his head, is turned toward the superior part of the world, and his inferior part is turned toward the inferior world; and therefore he is perfectly disposed as to the general situation of his body. Plants have the superior part turned towards the lower world, since their roots correspond to the mouth, and their inferior parts towards the upper world.”
—Thomas Aquinas (c. 1225–1274)
“she drew back a while,
Then, yielding to the irresistible joy,
With frantic gesture and short breathless cry
Folded his frame in her dissolving arms.
Now blackness veiled his dizzy eyes, and night
Involved and swallowed up the vision; sleep,
Like a dark flood suspended in its course,
Rolled back its impulse on his vacant brain.”
—Percy Bysshe Shelley (1792–1822)