A View of Connexive Logics
Táto kniha je vôbec prvou monografiou na tému konexívnych logík, rodiny neklasických logík, založených na intuícii, že výrok nemôže byť platne implikovaný ani implikovaný svojou vlastnou negáciou.
Podobne ako relevančné logiky, aj konexívne logiky vyžadujú významové spojenie medzi antecedentom a dôsledkom platnej implikácie. Interakcia medzi negáciou a kondicionálom, ako aj s inými konektívmi, je bližšia niektorým ich použitiam v prirodzených jazykoch.
Kniha nie je úplne komplexnou štúdiou konexívnych logík, skôr predstavuje autorov vlastný pohľad na tieto logiky s dôrazom na tie aspekty týchto logík, ktoré autora zaujímajú. Napriek tomu obsahuje dostatok materiálu na to, aby sa čitateľ s týmito logikami oboznámil, pochopil, ako vznikli a ako sú motivované, ako aj dôkazovo-teoretické a modelovo-teoretické princípy, ktoré sú ich základom.
Dúfame, že táto kniha prispeje k popularizácii konexívnych logík a k rastu, v súčasnosti malej, komunity záujemcov o ne.
Nissim Francez je emeritný profesor informatiky na izraelskom inštitúte Technion.
Technológie. V istom bode svojej kariéry prešiel od výskumu súvisiaceho so súbežnými a.
Distribuované programovanie a verifikácia programov až po výskum v oblasti počítačovej lingvistiky, najmä formálnej sémantiky prirodzeného jazyka. V posledných rokoch sa zaoberá dôkazovo-teoretickou sémantikou, najmä pre prirodzený jazyk. V poslednom čase sa venuje aj neklasickým logikám vrátane konexívnych logík.
