Description

Book Synopsis
An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and philosophy, as well as researchers in the field of mathematical and philosophical logic.

Table of Contents
1: Introduction 2: Preliminaries 3: Sentential Formal Languages 4: Logical Consequences 5: Matrix Consequences 6: Unital Abstract Logics 7: Equational Consequence 8: Equational L-Consequence 9: Q-Consequence 10: Decidability Bibliography Index

Consequence Relations An Introduction to the

Product form

£89.77

Includes FREE delivery

Order before 4pm tomorrow for delivery by Tue 13 Jan 2026.

A Hardback by Alex Citkin, Alexei Muravitsky

Out of stock


    View other formats and editions of Consequence Relations An Introduction to the by Alex Citkin

    Publisher: Oxford University Press
    Publication Date: 29/07/2022
    ISBN13: 9780192866417, 978-0192866417
    ISBN10: 0192866419
    Also in:
    Mathematics Mathematical logic Philosophy of mathematics Set theory

    Description

    Book Synopsis
    An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, intended for advanced undergraduate and graduate students in mathematics and philosophy, as well as researchers in the field of mathematical and philosophical logic.

    Table of Contents
    1: Introduction 2: Preliminaries 3: Sentential Formal Languages 4: Logical Consequences 5: Matrix Consequences 6: Unital Abstract Logics 7: Equational Consequence 8: Equational L-Consequence 9: Q-Consequence 10: Decidability Bibliography Index

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account