Use of Abstraction and Logic in Mathematics

Presents contemporaneous open-access articles that are essentially devoted to mathematical logic research, from classical to non-classical logical systems, from algebraic logic to fuzzy logic. The book addresses first-order and higher-order logic; as well as infinitary, description, modal, fixed-point, algebraic and fuzzy logic.