Re: Light logics vs. CoS
Charles Stewart <[email protected]>
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <[email protected]> |
Lutz wrote:
> we can replace
> R
> ---
> !R
> by
> S{1}
> -----
> S{!1}
> which is deep and should solve the problem.
This is also what Phiniki and I have done in our AiML paper
to axiomatise normal modal logics. The paper is maybe
relevant to Ugo.
Charles