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

  • Decidability of Logical Theories and Their Combination
    Preț: 45416 lei
  • 17% Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
    Preț: 36502 lei
  • Completeness Theory for Propositional Logics
    Preț: 38681 lei
  • 15% Institution-independent Model Theory
    Preț: 65314 lei
  • Universal Logic: An Anthology: From Paul Hertz to Dov Gabbay
    Preț: 39929 lei
  • 15% Kripke’s Worlds: An Introduction to Modal Logics via Tableaux
    Preț: 58147 lei
  • Around and Beyond the Square of Opposition
    Preț: 39738 lei
  • 15% Visual Reasoning with Diagrams
    Preț: 63843 lei
  • 15% Towards a General Theory of Classifications
    Preț: 64399 lei
  • The Life and Work of Leon Henkin: Essays on His Contributions
    Preț: 39585 lei
  • The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
    Preț: 40605 lei
  • Towards an Arithmetical Logic: The Arithmetical Foundations of Logic
    Preț: 38409 lei
  • Modern Logic 1850-1950, East and West
    Preț: 38911 lei
  • 15% The Square of Opposition: A Cornerstone of Thought
    Preț: 53223 lei
  • 24% The Lvov-Warsaw School. Past and Present
    Preț: 80217 lei
  • 15% Arabic Logic from al-Fārābī to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
    Preț: 58818 lei
  • 15% Language, Logic, and Mathematics in Schopenhauer
    Preț: 59212 lei
  • 15% Logical Skills: Social-Historical Perspectives
    Preț: 69732 lei
  • 18% The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition
    Preț: 95365 lei
  • 18% Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
    Preț: 112996 lei
  • 15% Universal Algebraic Logic: Dedicated to the Unity of Science
    Preț: 64268 lei
  • 18% Logic - Language - Ontology: Selected Works
    Preț: 78210 lei
  • 18% Universal Logic, Ethics, and Truth: Essays in Honor of John Corcoran (1937-2021)
    Preț: 78778 lei
  • 18% Institution-independent Model Theory
    Preț: 111947 lei

Preț: 33551 lei

Nou

Puncte Express: 503
Preț estimativ în valută:
6421€ • 6678$ • 5373£

Carte nepublicată încă


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