Cantitate/Preț
Produs
Total produse
Vezi coșul
Universal Algebraic Logic: Dedicated to the Unity of Science de Hajnal Andréka

Universal Algebraic Logic: Dedicated to the Unity of Science: Studies in Universal Logic

Autor Hajnal Andréka, István Németi, Ildikó Sain
en Limba Engleză Paperback – 22 iul 2021
This book connects logic with algebra. It covers universal logic and the question of what logic is as well as universal algebraic logic and duality theories between the world of logics and the world of algebra. It also discusses algebraic logic proper including algebras of relations of various ranks, Tarski's cylindric algebras, relation algebras, Halmos' polyadic algebras and other kinds of algebras of logic.
Citește tot Restrânge

Din seria Studies in Universal Logic

  • Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
    Preț: 37712 lei
  • Completeness Theory for Propositional Logics
    Preț: 37215 lei
  • 15% Institution-independent Model Theory
    Preț: 62793 lei
  • Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay
    Preț: 38413 lei
  • 15% Kripke’s Worlds: An Introduction to Modal Logics via Tableaux
    Preț: 55907 lei
  • Around and Beyond the Square of Opposition
    Preț: 38230 lei
  • 15% Visual Reasoning with Diagrams
    Preț: 61380 lei
  • 15% Towards a General Theory of Classifications
    Preț: 61912 lei
  • The Life and Work of Leon Henkin: Essays on His Contributions
    Preț: 38082 lei
  • The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
    Preț: 39061 lei
  • Towards an Arithmetical Logic: The Arithmetical Foundations of Logic
    Preț: 36953 lei
  • Modern Logic 1850-1950, East and West
    Preț: 37434 lei
  • 24% The Lvov-Warsaw School. Past and Present
    Preț: 86819 lei
  • 15% Arabic Logic from al-Fārābī to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
    Preț: 56551 lei
  • 15% Language, Logic, and Mathematics in Schopenhauer
    Preț: 56929 lei
  • Decidability of Logical Theories and Their Combination
    Preț: 45924 lei
  • 15% Logical Skills: Social-Historical Perspectives
    Preț: 67038 lei
  • 18% The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition
    Preț: 91664 lei
  • 18% Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
    Preț: 108601 lei
  • 15% Universal Algebraic Logic: Dedicated to the Unity of Science
    Preț: 61789 lei
  • 18% Logic - Language - Ontology: Selected Works
    Preț: 85645 lei
  • 18% Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021)
    Preț: 86190 lei
  • 18% Institution-independent Model Theory
    Preț: 87464 lei

Preț: 36303 lei

Precomandă

Puncte Express: 545
Preț estimativ în valută:
6423€ • 7483$ • 5609£

Carte nepublicată încă

 Precomandă

Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783764385057
ISBN-10: 3764385057
Pagini: 260
Ediția:1st ed. 2021
Editura: Springer
Colecția Birkhäuser
Seria Studies in Universal Logic

Locul publicării:Basel, Switzerland

Public țintă

Research

Cuprins

1. Introduction.- 2. Notation, elementary concepts: 2.1 Sets, classes, tuples, simple operations on sets.- 2.2 Binary relations, equivalence relations, functions.-
2.3 Orderings, ordinals, cardinals.- 2.4 Sequences.- 2.5 Direct product of families of sets.- 2.6 Relations of higher ranks.- 2.7 First-order logic (FOL).-
3. Basics from universal algebra: 3.1 Examples for algebras.- 3.2 Building new algebras from old ones (operations on algebras): 3.2.1 Subalgebra.-
3.2.2 Homomorphic image.- 3.2.3 Cartesian product, direct decomposition.- 3.2.4 Subdirect decomposition.- 3.2.5 Ultraproduct, reduced product.-
3.3 Variety characterization, quasi-variety characterization.- 3.4 Discriminator varieties.- 3.5 Boolean algebras.- 3.6 Boolean algebras with operators.- 4. General framework for studying logics: 4.1 Defining the framework.- 4.2 Concrete logics in the new framework.- 4.2.1 Distinguished logics.- 4.2.2 The finite variable fragment of FOL. Finite model theory.- 4.2.3 Summary.- 4.2.4 Solutions for some exercises of subsections 4.2.1 and 4.2.2.- 5. Bridge between the world of logics and the world of algebras: 5.1 Fine-tuning the framework.- 5.2 Algebraic characterizations of completeness and compactness properties.- 6. Generalizations.- 7. Further equivalence results (definability, interpolation, omitting types) 8. New kinds of logics 9. The guarded fragment and its finite variable hierarchy.- 10. Distinguished algebras of logic: 10.1 Cylindric algebras.- 10.2 Relation algebras, substitution cylindric algebras, polyadic algebras.- 10.3 Relativization. The non-square approach to ``taming logics''.- 10.4 Brief return to guarded fragment and related positive results.- 11. Applications of the algebraic results to logic (via our bridge).- 12. Connections with set theory and foundational thinking.- 13. Connections with abstract model theory.- 14. Extending the bridge to including logic of spacetime, connections with relativity.- 15. On the problems in the books Henkin-Monk-Tarski: Cylindric Algebras Parts I,II and Henkin-Monk-Tarski-Andreka-Nemeti.- Some further problems.

Caracteristici

Introduction to algebraic basicsConnects logic with algebra