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.
An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.
Josep Maria Font works in the Department of Probability, Logic and Statistics at the University of Barcelona. Ramon Jansana works in the Department of Logic, History and Philosophy of Science at the University of Barcelona.
Ask a Question About this Product More... |