Path: ...!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic
Subject: Re: Advent of Logic 2024: Weekend 3 (Was: Advent of Logic 2024:
 Weekend 2)
Date: Sat, 14 Dec 2024 22:13:16 +0100
Message-ID: <vjksdb$sgo6$2@solani.org>
References: <vjks2t$sghb$1@solani.org> <vjksaq$sgo6$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 14 Dec 2024 21:13:15 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="934662"; 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:jKO8SFRXYSZAOFeqIH85370EjnU=
X-User-ID: eJwFwYEBwDAEBMCVKF4yjqf2HyF3YVB0OgIeG5vFGflp9Eqy0BGOGcvtOylVE0d4P+VRoTZU4MXkrOXFA4KWFjw=
In-Reply-To: <vjksaq$sgo6$1@solani.org>
Bytes: 1831
Lines: 36

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
>