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

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 : 01. Dec 2024, 14:45:30

Autres entêtes

Organisation : A noiseless patient Spider
Message-ID : <vihp9r$2eqeg$2@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird

On 28/11/2024 00:55, Mild Shock wrote:

This is Peirce law:
((p->q)->p)->p
Peirce law is not provable in minimal logic.
But I guess this is not Glivenko:
notation(dnt(X), ~X->(~(~X)))
https://en.wikipedia.org/wiki/Double-negation_translation#Propositional_logic
Glivenko would be simply:
notation(gliv(X), (~(~X)))

We have gone over that already. Either you have memory problems or you are purposely flooding the channel at this point.
-Julio

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

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal