Proof Theory and Algebra in Logic

Proof Theory and Algebra in Logic

Springer Verlag, Singapore

08/2019

160

Mole

Inglês

9789811379963

15 a 20 dias

267

Descrição não disponível.
Introduction.- Part I Proof Theory.- Sequent systems.- Cut elimination for sequent systems.- Proof-theoretic analysis of logical properties.- Modal and substructural logics.- Deducibility and axiomatic extensions.- Part II Algebra in Logic.- Boolean algebras and classical logic.- Many-valued algebras.- Heyting algebras and intuitionistic logic.- Logics and varieties.- Residuated structures.- Modal algebras.- References.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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