Re: The solver does not terminate

Liste des GroupesRevenir à s logic 
Sujet : Re: The solver does not terminate
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : sci.logic
Date : 08. Dec 2024, 05:50:45
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vj38j5$315m6$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 07/12/2024 22:47, Mild Shock wrote:

One of the pelettier test cases was to test
how long it takes to terminate with "false",
the other was to test how long it takes to
terminate with "true". The Prolog time/1
*What* pelletier statements??  You piece of fucker have also been linking only to stuff behind a paid wall.
 > Wangs algorithm can be easily extended to biconditional:
WTF is that??  Is it INTUITIONISTIC??  Is it AFFINE??
You spamming moron.
-Julio

Date Sujet#  Auteur
1 Dec 24 * Still on negative translation for substructural logics53Julio Di Egidio
1 Dec 24 +* Re: Still on negative translation for substructural logics19Mild Shock
1 Dec 24 i`* intuitionistic vs. classical implication in Prolog code (Was: Still on negative translation for substructural logics)18Mild Shock
1 Dec 24 i +* Re: intuitionistic vs. classical implication in Prolog code (Was: Still on negative translation for substructural logics)3Mild Shock
1 Dec 24 i i`* Girards Exponentiation after Dragalins Implication (Was: intuitionistic vs. classical implication in Prolog code)2Mild Shock
1 Dec 24 i i `- Does Jens Ottens Int-Prover also do the Repeat? (Was: Girards Exponentiation after Dragalins Implication)1Mild Shock
1 Dec 24 i `* Re: intuitionistic vs. classical implication in Prolog code14Julio Di Egidio
1 Dec 24 i  `* Re: intuitionistic vs. classical implication in Prolog code13Mild Shock
1 Dec 24 i   +- Re: intuitionistic vs. classical implication in Prolog code1Mild Shock
1 Dec 24 i   `* Re: intuitionistic vs. classical implication in Prolog code11Julio Di Egidio
1 Dec 24 i    +- Re: intuitionistic vs. classical implication in Prolog code1Ross Finlayson
2 Dec 24 i    +- Re: intuitionistic vs. classical implication in Prolog code1Mild Shock
2 Dec 24 i    `* Re: intuitionistic vs. classical implication in Prolog code8Mild Shock
2 Dec 24 i     `* Re: intuitionistic vs. classical implication in Prolog code7Mild Shock
2 Dec 24 i      `* Re: intuitionistic vs. classical implication in Prolog code6Julio Di Egidio
3 Dec 24 i       `* Re: intuitionistic vs. classical implication in Prolog code5Mild Shock
3 Dec 24 i        +* Re: intuitionistic vs. classical implication in Prolog code3Mild Shock
3 Dec 24 i        i`* Re: intuitionistic vs. classical implication in Prolog code2Mild Shock
3 Dec 24 i        i `- Re: intuitionistic vs. classical implication in Prolog code1Ross Finlayson
3 Dec 24 i        `- Re: intuitionistic vs. classical implication in Prolog code1Julio Di Egidio
2 Dec 24 +* Re: Still on negative translation for substructural logics25Mild Shock
2 Dec 24 i+* Re: Still on negative translation for substructural logics2Mild Shock
2 Dec 24 ii`- Re: Still on negative translation for substructural logics1Mild Shock
2 Dec 24 i+* Re: Still on negative translation for substructural logics20Julio Di Egidio
2 Dec 24 ii+* Re: Still on negative translation for substructural logics2Julio Di Egidio
3 Dec 24 iii`- Re: Still on negative translation for substructural logics1Mild Shock
5 Dec 24 ii`* The solver does not terminate (Was: Still on negative translation for substructural logics)17Julio Di Egidio
6 Dec 24 ii +* Re: The solver does not terminate7Julio Di Egidio
6 Dec 24 ii i`* Re: The solver does not terminate6Mild Shock
6 Dec 24 ii i `* Re: The solver does not terminate5Mild Shock
6 Dec 24 ii i  `* Re: The solver does not terminate4Julio Di Egidio
6 Dec 24 ii i   `* Re: The solver does not terminate3Julio Di Egidio
6 Dec 24 ii i    `* Re: The solver does not terminate2Mild Shock
6 Dec 24 ii i     `- Re: The solver does not terminate1Mild Shock
7 Dec 24 ii `* Re: The solver does not terminate9Julio Di Egidio
7 Dec 24 ii  `* Re: The solver does not terminate8Mild Shock
7 Dec 24 ii   +* Re: The solver does not terminate2Mild Shock
7 Dec 24 ii   i`- Re: The solver does not terminate1Mild Shock
8 Dec 24 ii   `* Re: The solver does not terminate5Julio Di Egidio
8 Dec 24 ii    `* Seventy-Five Problems for Testing Automatic Theorem Provers (Was: Fuck the nazi-retards)4Mild Shock
8 Dec 24 ii     +- Re: Seventy-Five Problems for Testing Automatic Theorem Provers (Was: Fuck the nazi-retards)1Mild Shock
9 Dec 24 ii     `* Re: Seventy-Five Problems for Testing Automatic Theorem Provers2Julio Di Egidio
9 Dec 24 ii      `- Re: Seventy-Five Problems for Testing Automatic Theorem Provers1Mild Shock
9 Dec 24 i`* Re: Still on negative translation for substructural logics2Mild Shock
9 Dec 24 i `- Re: Still on negative translation for substructural logics1Mild Shock
3 Dec 24 +- Re: Still on negative translation for substructural logics1Julio Di Egidio
3 Dec 24 +- Re: Still on negative translation for substructural logics1Julio Di Egidio
4 Dec 24 +* Counter Example by Troelstra & Schwichtenberg (Was: Still on negative translation for substructural logics)4Mild Shock
4 Dec 24 i`* Re: Counter Example by Troelstra & Schwichtenberg (Was: Still on negative translation for substructural logics)3Julio Di Egidio
6 Dec 24 i `* Affine Logic, what Properties does it have? (Was: Counter Example by Troelstra & Schwichtenberg)2Mild Shock
6 Dec 24 i  `- Re: Affine Logic, what Properties does it have? (Was: Counter Example by Troelstra & Schwichtenberg)1Mild Shock
9 Dec 24 `* leanTap wasn't a good idea2Mild Shock
9 Dec 24  `- Re: leanTap wasn't a good idea1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal