001437008 000__ 05272cam\a2200541\i\4500
001437008 001__ 1437008
001437008 003__ OCoLC
001437008 005__ 20230309004125.0
001437008 006__ m\\\\\o\\d\\\\\\\\
001437008 007__ cr\un\nnnunnun
001437008 008__ 210602s2021\\\\sz\a\\\\ob\\\\000\0\eng\d
001437008 019__ $$a1255219488
001437008 020__ $$a9783030641870$$q(electronic book)
001437008 020__ $$a3030641872$$q(electronic book)
001437008 020__ $$z3030641864
001437008 020__ $$z9783030641863
001437008 0247_ $$a10.1007/978-3-030-64187-0$$2doi
001437008 035__ $$aSP(OCoLC)1253475569
001437008 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dYDX$$dOCLCO$$dGW5XE$$dEBLCP$$dOCLCF$$dUKAHL$$dOCLCQ$$dOCLCO$$dOCLCQ
001437008 049__ $$aISEA
001437008 050_4 $$aQA10$$b.H35 2021
001437008 08204 $$a511.3/24$$223
001437008 24500 $$aHajnal Andréka and István Németi on unity of science :$$bfrom computing to relativity theory through algebraic logic /$$cJudit Madrász, Gergely Székely, editors.
001437008 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2021]
001437008 300__ $$a1 online resource (x, 517 pages) :$$billustrations (some color)
001437008 336__ $$atext$$btxt$$2rdacontent
001437008 337__ $$acomputer$$bc$$2rdamedia
001437008 338__ $$aonline resource$$bcr$$2rdacarrier
001437008 4901_ $$aOutstanding contributions to logic ;$$vvolume 19
001437008 504__ $$aIncludes bibliographical references.
001437008 5050_ $$aPart I: Computer Science, Machine Intelligence, Logic of Programs -- Chapter 1. Semiring Provenance for Guarded Logics (K.M. Dannert) -- Chapter 2. Implicit Partiality of Signature Morphisms in Institution Theory (R. Diaconescu) -- Chapter 3. An Overview of Query-Answering and Reasoning with Datalog+/- (G. Gottlob) -- Chapter 4. Action Axioms, Algebraically (V. Pratt) -- Chapter 5. Adding Guarded Constructions to the (Relational) Syllogistic (I. Pratt-Hartmann) -- Chapter 6. tba (J. Tucker) -- Part II . Algebraic Logic, Algebra, Logic -- Chapter 7 -- tba (J. Benthem) -- Chapter 8. Decomposing the discriminator in the semilattice of modal operators (I. Duentsch, W. Dzik, E. Orlowska) -- Chapter 9. Generalising Grzegorczyks logic by bounding cluster size (R. Goldblatt) -- Chapter 10. Undecidable decision problems for binary relations (Hirsch-Hodkinson-Jackson) -- Chapter 11. Relation algebras, residuated lattices and algebraic logic (P. Jipsen) -- Chapter 12. On canonical relativized relation and cylindric set algebras (R.D. Maddux) -- Chapter 13. Algebraic logic and logic geometry defined in universal algebra (B. PLotkin, E. Plotkin).-Chapter 14. Universal algebra as a foreign language (V. Pratt) -- Chapter 15. A brief history of Tarskian algebraic logic as enhanced by the outstanding contributions of Andreka and Nemeti (T. Sayed-Ahmed) -- Part III. Relativity Theory, spacetime, methodology of science -- Chapter 16. Freeing structuralism from model theory (N. Dewar) -- Chapter 17. Foundational thinking (H. Friedman) -- Chapter 18. In the footsteps of Hilbert: the logical foundations of theories in physics (G. Formica, M. Friend) -- Chapter 19. The network of theories (H. Halvorson) -- Chapter 20. Internal and external properties of spacetime (J.B. Manchak) -- Chapter 21. Why not categorical equivalence? (Weatherall) -- Chapter 22. Time travelling in emergent spacetime (C. Wuthrich).
001437008 506__ $$aAccess limited to authorized users.
001437008 520__ $$aThis book features more than 20 papers that celebrate the work of Hajnal Andreka and Istvan Nemeti. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. The short autobiographies of Hajnal Andreka and Istvan Nemeti at the end of the book describe an adventurous journey from electric engineering and Maxwells equations to a complex system of computer programs for designing Hungarys electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such questions, then on to applications of the results in such exciting new areas as relativity theory in order to rejuvenate logic itself.
001437008 588__ $$aOnline resource; title from digital title page (viewed on June 17, 2021).
001437008 650_0 $$aAlgebraic logic.
001437008 650_0 $$aLogic, Symbolic and mathematical.
001437008 650_6 $$aLogique algébrique.
001437008 650_6 $$aLogique symbolique et mathématique.
001437008 655_0 $$aElectronic books.
001437008 7001_ $$aMadrász, Judit,$$eeditor.
001437008 77608 $$iPrint version: $$z3030641864$$z9783030641863$$w(OCoLC)1201388409
001437008 830_0 $$aOutstanding contributions to logic.
001437008 852__ $$bebk
001437008 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-64187-0$$zOnline Access$$91397441.1
001437008 909CO $$ooai:library.usi.edu:1437008$$pGLOBAL_SET
001437008 980__ $$aBIB
001437008 980__ $$aEBOOK
001437008 982__ $$aEbook
001437008 983__ $$aOnline
001437008 994__ $$a92$$bISE