Verfasst von:	Citkin, Alex [VerfasserIn]
	Muravitsky, Alexei [VerfasserIn]
Titel:	Consequence relations
Titelzusatz:	an introduction to the Lindenbaum-Tarski method
Verf.angabe:	Alex Citkin and Alexei Muravitsky (CIO at MetTel and Professor at Northwestern State University (respectively))
Verlagsort:	Oxford
Verlag:	Oxford University Press
E-Jahr:	2022
Jahr:	[2022]
Umfang:	xv, 336 Seiten
Illustrationen:	Illustrationen
Gesamttitel/Reihe:	Oxford logic guides ; 55
Fussnoten:	Band 55 auf dem Umschlag irrtümlich als Band 48 bezeichnet
ISBN:	978-0-19-286641-7
	978-0-19-195729-1
Abstract:	"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 graduate students in philosophy, as well as researchers in the field of mathematical and philosophical logic. The book is aimed to fill the niche left after 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). 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, are considered in a balanced way, using predominantly algebraic methods, as one two-sided problem. Namely, 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 included exercises are an essential component of the reader's assimilation of the book's material"--
DOI:	doi:10.1093/oso/9780192866417.001.0001
URL:	zbMATH: https://zbmath.org/7606521
	DOI: https://doi.org/10.1093/oso/9780192866417.001.0001
Schlagwörter:	(s)Implikation    / (s)Formale Sprache    / (s)Konsequenz    / (s)Logische Matrix    / (s)Entscheidbarkeit
Sprache:	eng
Bibliogr. Hinweis:	Erscheint auch als : Online-Ausgabe: Consequence relations. - Oxford : Oxford University Press, 2022. - 352 pages
RVK-Notation:	SK 130
K10plus-PPN:	1815185058
Verknüpfungen:	→ Übergeordnete Aufnahme