Consequence Relations - An Introduction to the Lindenbaum-Tarski Method

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.

List 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

About the author

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.

Summary

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.

Product details

• Authors: Alex Citkin, Alex (Cio Citkin, Citkin Muravitsky, Alexei Muravitsky
• Publisher: Oxford University Press
• Languages: English
• Product format: Hardback
• Released: 31.07.2022
• EAN: 9780192866417
• ISBN: 978-0-19-286641-7
• No. of pages: 352
• Series: Oxford Logic Guides
• Subjects: Children's and young people's books > Non-fiction books / Non-fiction picture books > Natural science, technology; Natural sciences, medicine, IT, technology > Mathematics > General, dictionaries; Algebra, MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, MATHEMATICS / Algebra / General, MATHEMATICS / Set Theory, Philosophy of Mathematics, Mathematical logic, Set theory