General Algebraic Semantics for Sentential Logics

General Algebraic Semantics for Sentential Logics

;

Cambridge University Press

03/2017

158

Dura

Inglês

9781107167971

390

Descrição não disponível.
Introduction; 1. Generalities on abstract logics and sentential logics; 2. Abstract logics as models of sentential logics; 3. Applications to protoalgebraic and algebraizable logics; 4. Abstract logic as models of Gentzen systems; 5. Applications to particular sentential logics; Bibliography; Symbol index; General index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.