Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)

Liste des GroupesRevenir à s logic 
Sujet : Re: can λ-prolog do it? (Was: How to prove this theorem with intuitionistic natural deduction?)
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : sci.logic
Date : 27. Nov 2024, 13:06:30
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vi7205$1n8$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 27/11/2024 04:02, Ross Finlayson wrote:
On 11/22/2024 09:30 AM, Julio Di Egidio wrote:
On 22/11/2024 18:23, Julio Di Egidio wrote:
On 19/11/2024 14:55, Mild Shock wrote:
```
?- solve_trace([p->q,r->s,p\/r]=>q\/s, Qs).
```
>
Never mind, I have fixed it: just needed to get rid of those `once`!
Will update the Gist shortly.
>
If you have any feedback already, it's very welcome: anyway, will keep
you guys posted.
 Good afternoon, what is this about briefly?
Hi Ross, it's a little linear propositional solver at this stage, but with ambitions...
See here:
<https://gist.github.com/jp-diegidio/b6a7a071f9f81a469c493c4afcc5cb11>
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