國立虎尾科技大學 |

Universal Algebraic Logic = Dedicated to the Unity of Science /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Universal Algebraic Logic/ by Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain.
其他題名:	Dedicated to the Unity of Science /
作者:	Andréka, Hajnal.
其他作者:	Sain, Ildikó.
面頁冊數:	XV, 327 p. 1 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Foundations. -
電子資源:	https://doi.org/10.1007/978-3-031-14887-3
ISBN:	9783031148873

Universal Algebraic Logic = Dedicated to the Unity of Science /
Andréka, Hajnal.

Universal Algebraic LogicDedicated to the Unity of Science /[electronic resource] :by Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain. - 1st ed. 2022. - XV, 327 p. 1 illus.online resource. - Studies in Universal Logic,2297-0290. - Studies in Universal Logic,.

Preface -- Acknowledgement -- 1 Notation, Elementary Concepts.-1.1 Sets, classes, tuples, simple operations on sets.-1.2 Binary relations, equivalence relations, functions -- 1.3 Orderings, ordinals, cardinals -- 1.4 Sequences -- 1.5 Direct product of families of sets -- 1.6 Relations of higher ranks -- 1.7 Closure systems -- 1.8 First order logic (FOL) -- 2 Basics from Universal Algebra.-2.1 Examples for algebras -- 2.2 Building new algebras from old ones (operations on algebras) -- 2.2.1 Subalgebra -- 2.2.2 Homomorphic image -- 2.2.3 A distinguished example: Lattices -- 2.2.4 Congruence relation -- 2.2.5 Cartesian product, direct decomposition -- 2.2.6 Subdirect decomposition -- 2.2.7 Ultraproduct, reduced product -- 2.3 Categories -- 2.4 Variety characterization, quasi-variety characterization -- 2.5 Free algebras -- 2.6 Boolean Algebras -- 2.7 Discriminator varieties -- 2.8 Boas and BAOs -- 3 General framework and algebraization -- 3.1 Defining the framework for studying logics -- 3.2 Concrete logics in the new framework -- 3.3 Algebraization -- 3.3.1 Having connectives, formula algebra -- 3.3.2 Compositionality, tautological formula algebra -- 3.3.3 Algebraic counterparts of a logic -- 3.3.4 Substitution properties -- 3.3.5 Filter property -- 3.3.6 General Logics -- 3.4 Connections with Abstract Algebraic Logic, Abstract Model Theory and Institutions -- 4 Bridge between logic and algebra -- 4.1 Algebraic characterization of compactness properties -- 4.2 Algebraic characterizations of completeness properties -- 4.2.1 Hilbert-type inference systems -- 4.2.2 Completeness and soundness -- 4.3 Algebraic characterization of definability properties -- 4.3.1 Syntactical Beth definability property -- 4.3.2 Beth definability property -- 4.3.3 Local Beth definability property.-4.3.4 Weak Beth definability property -- 4.4 Algebraic characterization of interpolation properties -- 4.4.1 Interpolation properties -- 4.4.2 Amalgamation and interpolation properties -- 4.5 Decidability -- 4.6 Godel's incompleteness property -- 5 Applying the machinery: Examples -- 5.1 Classical propositional logic LC -- 5.2 Arrow logic L_{REL} -- 5.3 Finite-variable fragments of first-order logic, with substituted atomic formulas, L'_n -- 5.4 n-variable fragment L_n of rst-order logic, for n \le \omega -- 5.5 First-order logic with nonstandard semantics, L^{a}_{n} -- 5.6 Variable-dependent first-order logic, L^{vd}_{n} -- 5.7 First-order logic, ranked version, L^{ranked}_{FOL} -- 5.8 First-order logic, rank-free (or type-less) version, L^{rf}_{FOL} -- 6 Generalizations and new kinds of logics -- 6.1 Generalizations -- 6.2 New kinds of logics -- 7 Appendix: Algebras of relations -- 7.1 Algebras of binary relations -- 7.2 Algebras of unitary relations -- 7.3 All unitary relations together -- Bibliography -- Index -- Index of symbols.

This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon. This book, apart from being a monograph containing state of the art results in algebraic logic, can be used as the basis for a number of different courses intended for both novices and more experienced students of logic, mathematics, or philosophy. For instance, the first two chapters can be used in their own right as a crash course in Universal Algebra.

ISBN: 9783031148873

Standard No.: 10.1007/978-3-031-14887-3doiSubjects--Topical Terms:

669393
Mathematical Logic and Foundations.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

Universal Algebraic Logic = Dedicated to the Unity of Science /
LDR:05679nam a22004335i 4500 001 1085037
003 DE-He213
005 20221101062231.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031148873 $9 978-3-031-14887-3
024 7 $a 10.1007/978-3-031-14887-3 $2 doi
035 $a 978-3-031-14887-3
050 4 $a QA8.9-10.3
072 7 $a PBCD $2 bicssc
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBCD $2 thema
072 7 $a PBC $2 thema
082 0 4 $a 511.3 $2 23
100 1 $a Andréka, Hajnal. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1391437
245 1 0 $a Universal Algebraic Logic $h [electronic resource] : $b Dedicated to the Unity of Science / $c by Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Birkhäuser, $c 2022.
300 $a XV, 327 p. 1 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Studies in Universal Logic, $x 2297-0290
505 0 $a Preface -- Acknowledgement -- 1 Notation, Elementary Concepts.-1.1 Sets, classes, tuples, simple operations on sets.-1.2 Binary relations, equivalence relations, functions -- 1.3 Orderings, ordinals, cardinals -- 1.4 Sequences -- 1.5 Direct product of families of sets -- 1.6 Relations of higher ranks -- 1.7 Closure systems -- 1.8 First order logic (FOL) -- 2 Basics from Universal Algebra.-2.1 Examples for algebras -- 2.2 Building new algebras from old ones (operations on algebras) -- 2.2.1 Subalgebra -- 2.2.2 Homomorphic image -- 2.2.3 A distinguished example: Lattices -- 2.2.4 Congruence relation -- 2.2.5 Cartesian product, direct decomposition -- 2.2.6 Subdirect decomposition -- 2.2.7 Ultraproduct, reduced product -- 2.3 Categories -- 2.4 Variety characterization, quasi-variety characterization -- 2.5 Free algebras -- 2.6 Boolean Algebras -- 2.7 Discriminator varieties -- 2.8 Boas and BAOs -- 3 General framework and algebraization -- 3.1 Defining the framework for studying logics -- 3.2 Concrete logics in the new framework -- 3.3 Algebraization -- 3.3.1 Having connectives, formula algebra -- 3.3.2 Compositionality, tautological formula algebra -- 3.3.3 Algebraic counterparts of a logic -- 3.3.4 Substitution properties -- 3.3.5 Filter property -- 3.3.6 General Logics -- 3.4 Connections with Abstract Algebraic Logic, Abstract Model Theory and Institutions -- 4 Bridge between logic and algebra -- 4.1 Algebraic characterization of compactness properties -- 4.2 Algebraic characterizations of completeness properties -- 4.2.1 Hilbert-type inference systems -- 4.2.2 Completeness and soundness -- 4.3 Algebraic characterization of definability properties -- 4.3.1 Syntactical Beth definability property -- 4.3.2 Beth definability property -- 4.3.3 Local Beth definability property.-4.3.4 Weak Beth definability property -- 4.4 Algebraic characterization of interpolation properties -- 4.4.1 Interpolation properties -- 4.4.2 Amalgamation and interpolation properties -- 4.5 Decidability -- 4.6 Godel's incompleteness property -- 5 Applying the machinery: Examples -- 5.1 Classical propositional logic LC -- 5.2 Arrow logic L_{REL} -- 5.3 Finite-variable fragments of first-order logic, with substituted atomic formulas, L'_n -- 5.4 n-variable fragment L_n of rst-order logic, for n \le \omega -- 5.5 First-order logic with nonstandard semantics, L^{a}_{n} -- 5.6 Variable-dependent first-order logic, L^{vd}_{n} -- 5.7 First-order logic, ranked version, L^{ranked}_{FOL} -- 5.8 First-order logic, rank-free (or type-less) version, L^{rf}_{FOL} -- 6 Generalizations and new kinds of logics -- 6.1 Generalizations -- 6.2 New kinds of logics -- 7 Appendix: Algebras of relations -- 7.1 Algebras of binary relations -- 7.2 Algebras of unitary relations -- 7.3 All unitary relations together -- Bibliography -- Index -- Index of symbols.
520 $a This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon. This book, apart from being a monograph containing state of the art results in algebraic logic, can be used as the basis for a number of different courses intended for both novices and more experienced students of logic, mathematics, or philosophy. For instance, the first two chapters can be used in their own right as a crash course in Universal Algebra.
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 0 $a Algebra. $2 gtt $3 579870
650 0 $a Mathematical logic. $2 bicssc $3 810627
700 1 $a Sain, Ildikó. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1391440
700 1 $a Németi, István. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1391439
700 1 $a Gyenis, Zalán. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1391438
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031148866
776 0 8 $i Printed edition: $z 9783031148880
776 0 8 $i Printed edition: $z 9783031148897
830 0 $a Studies in Universal Logic, $x 2297-0282 $3 1257651
856 4 0 $u https://doi.org/10.1007/978-3-031-14887-3
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)