A konnektív logikák szemlélete

Eredeti címe:

A View of Connexive Logics

Könyv tartalma:

Ez a könyv az első monográfia a konnektív logikák témakörében, a nem-klasszikus logikák egy családja, amely azon az intuíción alapul, hogy egy tétel nem implikálható érvényesen, és nem is implikálható a saját tagadásával.

A relevancia logikákhoz hasonlóan a konnektív logikák is megkövetelik az érvényes implikáció előzménye és következménye közötti jelentéskapcsolatot. A negáció és a kondicionálisok, valamint más konnektívumok közötti kölcsönhatás közelebb áll a természetes nyelvekben való bizonyos használatukhoz.

A könyv nem egy teljesen átfogó tanulmány a konnektív logikákról; inkább a szerző saját nézetét mutatja be e logikákról, hangsúlyt fektetve e logikáknak a szerzőt érdeklő aspektusaira. Mégis elegendő anyagot tartalmaz ahhoz, hogy az olvasó megismerkedjen ezekkel a logikákkal, megértse, hogyan keletkeztek és hogyan motiváltak, valamint a mögöttük álló bizonyításelméleti és modellelméleti elveket.

Remélhetőleg ez a könyv hozzájárul a konnektív logikák népszerűsítéséhez és az irántuk érdeklődő, jelenleg kis létszámú közösség növekedéséhez.

Nissim Francez az izraeli Technion Intézet informatika professzor emeritusa.

Of Technology. Pályafutásának egy bizonyos pontján áttért a konkurens és.

Elosztott programozás és programellenőrzés a számítógépes nyelvészet, főként a természetes nyelvek formális szemantikájának kutatásához. Az utóbbi években a bizonyításelméleti szemantikával foglalkozott, különösen a természetes nyelvek esetében. Újabban nem-klasszikus logikákkal is foglalkozik, beleértve a konnektív logikákat is.