Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

— —

Alex Citkin (CIO, CIO, Metropolitan Telecommunications, New York) Alexei Muravitsky (Professor of Mathematics, Professor of Mathematics, Louisiana Scholars' College at Northwestern State University of Louisiana)

Consequence Relations

An Introduction to the Lindenbaum-Tarski Method

Alex Citkin (CIO, CIO, Metropolitan Telecommunications, New York), Alexei Muravitsky (Professor of Mathematics, Professor of Mathematics, Louisiana Scholars' College at Northwestern State University of Louisiana)

$167.95

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Oxford University Press
21 October 2022

Philosophy of mathematics; Mathematical logic; Set theory; Algebra

Series: Oxford Logic Guides

The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's

An Algebraic Approach to Non-Classical Logics (1974), and Wójcicki's Theory of Logical Calculi (1988) created a niche in the field of mathematical and philosophical logic. This in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra, fills this niche. Citkin and Muravitsky consider the problem of obtaining confirmation that a statement is a consequence of a set of statements as prerequisites, on the one hand, and the problem of demonstrating that such confirmation does not exist in the structure under consideration, on the other hand. For the second part of this problem, the concept of the Lindenbaum-Tarski algebra plays a key role, which becomes even more important when the considered consequence relation is placed in the context of decidability. This role is traced in the book for various formal objective languages. The work also includes helpful exercises to aid the reader's assimilation of the book's material. Intended for advanced undergraduate and graduate students in mathematics and philosophy, this book can be used to teach special courses in logic with an emphasis on algebraic methods, for self-study, and also as a reference work.

By: Alex Citkin (CIO CIO Metropolitan Telecommunications New York), Alexei Muravitsky (Professor of Mathematics, Professor of Mathematics, Louisiana Scholars' College at Northwestern State University of Louisiana)
Imprint: Oxford University Press
Country of Publication: United Kingdom
Dimensions: Height: 240mm, Width: 160mm, Spine: 22mm
Weight: 1g
ISBN: 9780192866417
ISBN 10: 0192866419
Series: Oxford Logic Guides
Pages: 352
Publication Date: 21 October 2022
Audience: Professional and scholarly , Undergraduate
Format: Hardback
Publisher's Status: Active

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

Dr Alex Citkin is the CIO of Metropolitan Telecommunications, New York. Before joining Metropolitan Telecommunications he was Director of Research and Development of EDI Corporation New York. Dr Alexei Muravitsky is Professor of Mathematics at Louisiana Scholars' College at Northwestern State University of Louisiana. From 1980 to 1991 he was a Senior Research Scientist at the Institute of Mathematics and Computer Science of the Academy of Sciences of the Moldovan SSR and from 1992 to 1999 he was a Visiting Member at the Courant Institute of Mathematical Sciences at New York University.