Logika és implikáció: Bevezetés a nem klasszikus logikák általános algebrai tanulmányozásába

Eredeti címe:

Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics

Könyv tartalma:

Ez a monográfia a gyengén implikatív logikák általános elméletét mutatja be, amely család az irodalomban vizsgált nem-klasszikus logikák nagy részét lefedi, és elsősorban a logikák és algebrai szemantikájuk közötti kapcsolat elvont tanulmányozására összpontosít. Bevezetésként is szolgálhat az (absztrakt) algebrai logikába, mind az állítólagos, mind az elsőrendű logikába, különös tekintettel az implikáció, a rácsos és reziduális kötőszavak, valamint az általánosított diszjunktívák szerepére.

A szerzők legújabb munkájuk alapján egy erőteljes egységes keretrendszert dolgoznak ki a nem-klasszikus logikák tanulmányozására. Önálló és didaktikus stílusban, nagyon elemi fogalmakból kiindulva egy általános elméletet építenek fel, jelentős számú absztrakt eredménnyel.

Ezt követően az elméletet alkalmazzák, hogy számos eredményt kapjanak a logikák kiemelkedő családjaira és algebrai megfelelőikre, különösen a szuperintuitionista, modális, szubstrukturalista, fuzzy és releváns logikákra. A könyv széles közönség, különösen a matematika, a filozófia, az informatika vagy a kapcsolódó területek hallgatói és kutatói számára lehet érdekes, akik bevezetést keresnek a nem-klasszikus logikák és algebrai szemantikájuk általános elméletébe.