Kowalski-forma

Kapcsolódó fogalmak: 
ítéletkalkulus
Rövid szöveges bemutatás: 
A Kowalski-forma az ítéletkalkulusban alkalmazható formátum. A lényege az, hogy a klózt implikáció formájában is leírhatjuk. Ilyenkor az implikáció baloldalán atomok konjunkciója jelenik meg, míg a jobb oldalán atomok diszjunkciója. Ez a forma könnyebben olvasható ha az implikáció felírását a jobb oldalon kezdjük és balra haladunk. A formát Kowalski alkotta meg 1979-ben. Nem igazán elterjedt ez a fajta felírás, inkább csak elméleti szinten létezik.