Advent of Logic 2024: Weekend 1

[Mild Shock]

Hi,

Draw a Colored ASCII Christams tree with Prolog.

Bye

[Mild Shock]

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

Post by Mild Shock
Hi,
Draw a Colored ASCII Christams tree with Prolog.
Bye

[Mild Shock]

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

Post by Mild Shock
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

Post by Mild Shock
Hi,
Draw a Colored ASCII Christams tree with Prolog.
Bye