Re: How to prove this theorem with intuitionistic natural deduction?

Liste des GroupesRevenir à s logic 
Sujet : Re: How to prove this theorem with intuitionistic natural deduction?
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : sci.logic
Date : 18. Nov 2024, 23:45:22
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vhgg23$19evr$2@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 18/11/2024 23:22, Mild Shock wrote:
Julio Di Egidio schrieb:
`(P -> Q -> R) |- (P /\ Q -> R)`
0: P -> (Q -> R) (Premisse)
1: P /\ Q        (Assumption)
2: P             (/\E,1)
3: Q -> R        (->E,0,2)
4: Q             (/\E,1)
5: R             (->E,3,4)
6: P /\ Q -> R   (Discharge,1)
Wonderful, thank you.
-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