Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
A nem klasszikus logikák az utóbbi években egyre nagyobb szerepet játszottak a matematikától és az informatikától kezdve a nyelvészeten át a filozófiáig.
Az általánosított Galois-logika a relációs szemantika egységes keretét fejleszti ki, hogy az algebra segítségével közvetítsen a logikai kalkulusok és azok szemantikája között. Ez a kötet foglalkozik a normál modális logikákkal, mint például a K és az S5, valamint a szubstrukturalista logikákkal, beleértve a relevancia logikákat, a lineáris logikát és a Lambek-kalkulákat.
A szerzők a kevésbé ismert és új logikai rendszereket is ugyanolyan ügyességgel kezelik.
© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)
