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

  • Completeness Theory for Propositional Logics
    Preț: 37215 lei
  • The Life and Work of Leon Henkin
    Preț: 38355 lei
  • The Road to Universal Logic
    Preț: 39387 lei
  • Towards an Arithmetical Logic
    Preț: 37165 lei
  • Modern Logic 1850-1950, East and West
    Preț: 37312 lei
  • 24% The Lvov-Warsaw School. Past and Present
    Preț: 86731 lei
  • 15% Arabic Logic from al-Fārābī to Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
    Preț: 56771 lei
  • 15% Language, Logic, and Mathematics in Schopenhauer
    Preț: 57221 lei
  • Decidability of Logical Theories and Their Combination
    Preț: 47459 lei
  • Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
    Preț: 30294 lei
  • 15% Logical Skills: Social-Historical Perspectives
    Preț: 67299 lei
  • 18% The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition
    Preț: 91664 lei
  • 15% Universal Algebraic Logic
    Preț: 62171 lei
  • 18% Logic - Language - Ontology
    Preț: 86636 lei
  • 24% Universal Logic, Ethics, and Truth
    Preț: 85294 lei
  • 18% Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
    Preț: 109024 lei
  • 18% Institution-independent Model Theory
    Preț: 86737 lei
  • 18% Russell, Gödel, Tarski
    Preț: 86110 lei
  • nou New Articulations of the Theory of Oppositions
    Preț: 153755 lei

Preț: 36275 lei

Precomandă

Puncte Express: 544

Carte nepublicată încă

Livrare prin curier în România Precomanda se expediază când titlul devine disponibil.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Precomandă

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

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