Welcome to
CheLP,
our
"Che
ck
L
ogical
P
roportions" automatic tool
You can choose below what you want to see or what you want to do with logical proportions:
Here we generate the
full
Boolean truth tables of
all the proportions
Here we generate
reduced
Boolean truth tables where we only have the valuations leading to 1
Here we generate
a table
where proportions are classified according to their typology and their semantic properties
Finally your
own menu
to mix the properties you want and build up proportions tailored to your needs
Why not leave the classical world to enter the wonderful
3-valued world
?
Or even the
multi-valued world
numerical version
Investigate some logics of pairs
