Hajnal Andreka and Istvan Nemeti on Unity of Science

Hajnal Andreka and Istvan Nemeti on Unity of Science

From Computing to Relativity Theory Through Algebraic Logic

Madarasz, Judit; Szekely, Gergely

Springer Nature Switzerland AG

06/2022

517

Mole

Inglês

9783030641894

15 a 20 dias

801

Descrição não disponível.
Part 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).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Tarskian Algebraic Logic;Cylindric Algebras, Relation Algebras;Guarded Fragment of First Order Logic;Modal Logic, Modal Operators;Institution Theory;Decision Problems For Binary Relations;Structuralism;Properties of General Relativistic Spacetimes;Emergent Spacetime;Equivalence of Theories;Network of Theories;Foundational Thinking;Computer Science, Machine Intelligence, Logic of Programs;Semiring Provenance for Guarded Logics;Implicit Partiality of Signature Morphisms in Institution Theory;Query-Answering and Reasoning with Datalog+/-;Action Axioms, Algebraically;Adding Guarded Constructions to the (Relational) Syllogistic