Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!usenet.goja.nl.eu.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.prolog
Subject: 4th Family Member: Relevant Logic (Was: Advent of Logic 2024: Weekend
 3)
Date: Fri, 27 Dec 2024 07:44:47 +0100
Message-ID: <vklict$1dvvf$2@solani.org>
References: <vjksgj$sgo6$3@solani.org> <vjl14h$siot$1@solani.org>
 <vjl1i5$siv9$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 27 Dec 2024 06:44:45 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1507311"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.19
Cancel-Lock: sha1:Qhx+TULIRPzLdVA6UboxFlcOWGs=
X-User-ID: eJwNytEVADEEBMCWhMVTjhPbfwmX+R63ODGJ8IDTOS1CCL1VCwZYvpDEzWLIFhZ9jvTo1n1HueMfasNSvX412BSp
In-Reply-To: <vjl1i5$siv9$1@solani.org>
Bytes: 2445
Lines: 57

Hi,

Now that Christmas is over, are you excited for the new year?

Here is the task for Weekend 4:

- Do the same as for Weekend 2 and Weekend 3
   for a relevant logic.

This would complete the picture, since we would have:

Logic           Weakening      Contraction
Minimal         Yes            Yes
Relevant        No             Yes
Affine          Yes            No
Linear          No             No

Bye

Mild Shock schrieb:
> Hi,
> 
> Create a proof search in Simple Types,
> that finds Lambda Expressions as proof,
> for a given formula in propositional logic.
> 
> The logic is the same as in Weekend 2.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Create a proof search in Combinatory Logic,
>> that finds a Combinator Expression as proof
>> for a given formula in propositional logic.
>>
>> The propositional logic can do with
>> implication only, and it should be Linear Logic.
>> French logician Jean-Yves Girard is credited
>>
>> with Linear Logic, and since we have implication
>> logic only, the Logic will be also affine, i.e.
>> it will have no contraction, which makes
>>
>> it special towards certain paradoxes.
>>
>> Bye
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> Draw a Colored ASCII Christams tree with Prolog.
>>>
>>> Bye
>>
>