Proof Theory and Algebra in Logic, 1st ed. 2019 Short Textbooks in Logic Series
Date de parution : 08-2019
Ouvrage de 160 p.
15.5x23.5 cm
Thèmes de Proof Theory and Algebra in Logic :
Mots-clés :
Proof theory introduction; Algebraic semantics; Nonclassical logics; Sequent systems; Cut elimination; Algebraic logic; Universal algebra; Deduction theorems; Boolean algebras; Algebra Logic; syntactic and semantic logic; Algebraic method logic; Algebraic method syntactic logic; Algebraic method semantic logic; Modal Logic Introduction; many-valued logic introduction; superintuitionistic logic introduction; substructural logic introduction; algebraic semantics introduction; nonclassical logic introduction