Logică și implicare: O introducere în studiul algebric general al logicii neclasice

Titlul original:

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

Conținutul cărții:

Această monografie prezintă o teorie generală a logicilor slab implicative, o familie care acoperă un număr vast de logici non-clasice studiate în literatura de specialitate, concentrându-se în principal pe studiul abstract al relației dintre logice și semantica lor algebrică. Poate servi, de asemenea, ca o introducere în logica algebrică (abstractă), atât propozițională, cât și de ordinul întâi, acordând o atenție deosebită rolului implicației, conectivelor de rețea și reziduale, precum și disjuncțiilor generalizate.

Pe baza lucrărilor lor recente, autorii dezvoltă un cadru uniform puternic pentru studiul logicii neclasice. Într-un stil autoconținut și didactic, pornind de la noțiuni foarte elementare, ei construiesc o teorie generală cu un număr substanțial de rezultate abstracte.

Teoria este apoi aplicată pentru a obține numeroase rezultate pentru familii proeminente de logici și pentru omologii lor algebrici, în special pentru logici superintuiționiste, modale, substructurale, fuzzy și relevante. Cartea poate fi de interes pentru un public larg, în special pentru studenții și cercetătorii din domeniile matematicii, filozofiei, informaticii sau din domenii conexe, care caută o introducere într-o teorie generală a logicii non-clasice și a semanticii lor algebrice.