Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)

Liste des GroupesRevenir à s logic 
Sujet : Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logic
Date : 01. Dec 2024, 13:41:44
Autres entêtes
Message-ID : <vihli7$lpqu$2@solani.org>
References : 1 2 3 4
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.19
Mild Shock schrieb:
such mechanisms should be a playground
for infantile developers with a mindset of a 5 year old.
Corr.:
such mechanisms should not be a playground
for infantile developers with a mindset of a 5 year old.

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