Karin Cvetko Vah: Poševni Boolov izjavni račun

Povztek: Začetek študija poševnih mrež sega v 40. leta prejšnjega stoletja, ko je Pascual Jordan, utemelitelj teorije kvantnega polja, iskal matematično strukturo, v kateri bi utemeljil logiko kvantnega sveta. Kasneje se je kvantna logika oddaljila od Jordana in poševnih mrež ter se razvijala v drugi, po mnenju mnogih ne preveč perspektivni smeri. Poševne mreže pa so obstale kot samostojna algebrska struktura in predstavljajo najuspešnejšo posplošitev mrež na nekomutativni primer do današnjih dni. Njihov študij se je razcvetel po letu 1989, ko je Jonathan Leech objavil članek z naslovom "Skew lattices in rings", v katerem je podal osnovne strukturne izreke kakor tudi kopico primerov. V zadnjem času pa so poševne mreže zanimive tudi kot osnova za t.i. poševni Boolov izjavni račun (SBPC), ki predstavlja posplošitev klasičnega izjavnega računa. Logika SBPC je v svojem bistvu več-vrednostno (multiple-valued) in uporabna tudi za računalniško dokazovanje.