Deutsch English Français Italiano |
<vik7bi$39c73$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Julio Di Egidio <julio@diegidio.name> Newsgroups: sci.logic Subject: Re: intuitionistic vs. classical implication in Prolog code Date: Mon, 2 Dec 2024 12:57:36 +0100 Organization: A noiseless patient Spider Lines: 9 Message-ID: <vik7bi$39c73$2@dont-email.me> References: <vihumn$2eqeg$3@dont-email.me> <vihvl9$9568$1@solani.org> <vii0l0$m02t$1@solani.org> <vii1jv$2eqeg$4@dont-email.me> <vii2qb$97ao$1@solani.org> <vii9vv$2eqeg$5@dont-email.me> <vijpj3$a69e$2@solani.org> <vijr25$a72h$1@solani.org> <vijr94$a72h$2@solani.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Mon, 02 Dec 2024 12:57:38 +0100 (CET) Injection-Info: dont-email.me; posting-host="8b87f2f7e098ae75aa40ba304ec8e6fd"; logging-data="3453155"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+sBEsHAY3vYDgG1AHi666aDCEbRSElGd4=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:oGY1jbGzaib3bld3UKjagg/6H68= Content-Language: en-GB In-Reply-To: <vijr94$a72h$2@solani.org> Bytes: 1414 On 02/12/2024 09:31, Mild Shock wrote: > How does one usually demonstrate > Glivenkos theorem? Usually with a semantics: we have already said that up-thread... -Julio