Relation To Modal Logics
Let A be a propositional formula. The Gödel–Tarski translation of A is defined recursively as follows:
If M is a modal logic extending S4 then ρM = {A | T(A) ∈ M} is a superintuitionistic logic, and M is called a modal companion of ρM. In particular:
- IPC = ρS4
- KC = ρS4.2
- LC = ρS4.3
- CPC = ρS5
For every intermediate logic L there are many modal logics M such that L = ρM.
Read more about this topic: Intermediate Logic
Famous quotes containing the words relation to, relation and/or logics:
“Much poetry seems to be aware of its situation in time and of its relation to the metronome, the clock, and the calendar. ... The season or month is there to be felt; the day is there to be seized. Poems beginning When are much more numerous than those beginning Where of If. As the meter is running, the recurrent message tapped out by the passing of measured time is mortality.”
—William Harmon (b. 1938)
“The psychoanalysis of individual human beings, however, teaches us with quite special insistence that the god of each of them is formed in the likeness of his father, that his personal relation to God depends on his relation to his father in the flesh and oscillates and changes along with that relation, and that at bottom God is nothing other than an exalted father.”
—Sigmund Freud (18561939)
“When logics die,
The secret of the soil grows through the eye,
And blood jumps in the sun;
Above the waste allotments the dawn halts.”
—Dylan Thomas (19141953)