Re: Negative translation for propositional linear (or affine) logic?

Liste des GroupesRevenir à s logic 
Sujet : Re: Negative translation for propositional linear (or affine) logic?
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : sci.logic
Date : 28. Nov 2024, 03:01:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vi8itf$1n1h$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 28/11/2024 02:38, Mild Shock wrote:
 In affine logic you can possibly do something like iterative
deepening, only its iterative contraction.
 Define A^n o- B as:
 A o- A o- .. A o- B
\-- n times --/
 The running the prover with this notation:
 A -> B  := A^n o- B
 repeatedly with increasing n .
Yeah, something like that, but I am pretty sure we can do better than just trial and error.
-Julio

Date Sujet#  Auteur
18 Nov 24 * How to prove this theorem with intuitionistic natural deduction?34Julio Di Egidio
18 Nov 24 +* Re: How to prove this theorem with intuitionistic natural deduction?26Mild Shock
18 Nov 24 i`* Re: How to prove this theorem with intuitionistic natural deduction?25Julio Di Egidio
19 Nov 24 i `* can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)24Mild Shock
19 Nov 24 i  `* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)23Julio Di Egidio
19 Nov 24 i   `* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)22Mild Shock
22 Nov 24 i    `* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)21Julio Di Egidio
22 Nov 24 i     +* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)5Julio Di Egidio
27 Nov 24 i     i`* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)4Ross Finlayson
27 Nov 24 i     i `* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)3Julio Di Egidio
27 Nov 24 i     i  `* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)2Ross Finlayson
27 Nov 24 i     i   `- Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)1Julio Di Egidio
28 Nov 24 i     `* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)15Mild Shock
28 Nov 24 i      +* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)2Mild Shock
28 Nov 24 i      i`- Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)1Mild Shock
28 Nov 24 i      +* Negative translation for propositional linear (or affine) logic?10Julio Di Egidio
28 Nov 24 i      i+- Re: Negative translation for propositional linear (or affine) logic?1Julio Di Egidio
28 Nov 24 i      i`* Re: Negative translation for propositional linear (or affine) logic?8Mild Shock
28 Nov 24 i      i `* Re: Negative translation for propositional linear (or affine) logic?7Mild Shock
28 Nov 24 i      i  `* Re: Negative translation for propositional linear (or affine) logic?6Julio Di Egidio
28 Nov 24 i      i   `* Re: Negative translation for propositional linear (or affine) logic?5Mild Shock
28 Nov 24 i      i    `* Re: Negative translation for propositional linear (or affine) logic?4Mild Shock
1 Dec 24 i      i     `* Re: Negative translation for propositional linear (or affine) logic?3Julio Di Egidio
1 Dec 24 i      i      `* Re: Negative translation for propositional linear (or affine) logic?2Mild Shock
1 Dec 24 i      i       `- Re: Negative translation for propositional linear (or affine) logic?1Julio Di Egidio
1 Dec 24 i      `* Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)2Julio Di Egidio
1 Dec 24 i       `- I am busy with other stuff (Was: can λ-prolog do it?)1Mild Shock
1 Dec 24 `* Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)7Mild Shock
1 Dec 24  +- Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)1Mild Shock
1 Dec 24  `* Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)5Julio Di Egidio
1 Dec 24   `* Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)4Mild Shock
1 Dec 24    `* Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)3Mild Shock
1 Dec 24     `* Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)2Mild Shock
1 Dec 24      `- Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal