Witam
Mam do przygotowania pewne wiadomości na ćwiczenia z logiki, niestety google o niektórych z nich dosłownie milczą... mam nadzieję, że Wy mi pomożecie.
Potrzebne mi informacje o:
1. Funktor Łukasiewicza
2. Strzałka i Kreska Sheffera (o ty co nie co znalazłam, ale informacje były sprzeczne, więc nie wiem które są prawdziwe.
3. Krata rozdzielcza(rozdzielna?) (nie wiem czy dobrze zanotowalam) (o kracie znalazłam na wikipedii)
4. półstruktura addytywna/multyplikatywna (google milczą ;P)
Będę bardzo wdzięczna za każdą pomoc - chodzi mi przynajmniej o jakieś ogólne, podstawowe informacje.