Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic
商品資訊
ISBN13:9783030641894
出版社:Springer Nature
作者:Judit Madarász(EDI)
出版日:2022/06/15
裝訂:平裝
規格:23.4cm*15.6cm*2.7cm (高/寬/厚)
商品簡介
Part I. Computer Science, Machine Intelligence, Logic of Programs
Dannert, K. M., Graedel, E.: Semiring provenance for guarded logics.
Diaconescu, R.: Implicit Partiality of Signature Morphisms in Institution Theory.
Gottlob, G., Pieris, A.: An Overview of Query-Answering and Reasoning with Datalog+/-.
Pratt, V.: Action axioms, algebraically.
Pratt-Hartmann, I.: Adding Guarded Constructions to the (Relational) Syllogistic.
Tucker, J.: tba
Part II . Algebraic Logic, Algebra, Logic
Benthem, J.: tba
Duentsch, I., Dzik, W., Orlowska, E.: Decomposing the discriminator in the semilattice of modal operators.
Goldblatt, R.: Generalising Grzegorczyks logic by bounding cluster size.
Hirsch-Hodkinson-Jackson: Undecidable decision problems for binary relations.
Jipsen, P.: relation algebras, residuated lattices and algebraic logic
Maddux, R.D.: On canonical relativized relation and cylindric set algebras.
Plotkin, B., Plotkin, E.: Algebraic logic and logic geometry defined in universal algebra.
Pratt, V: Universal algebra as a foreign language.
Sayed-Ahmed, T.: A brief history of Tarskian algebraic logic as enhanced by the outstanding contributions of Andreka and Nemeti.
Part III. Relativity Theory, spacetime, methodology of science
Dewar, N.: Freeing structuralism from model theory.
Friedman, H.: Foundational thinking.
Formica, G., Friend, M.: In the footsteps of Hilbert: the logical foundations of theories in physics
Halvorson, H.: The network of theories.
Manchak, J.B.: Internal and external properties of spacetime.
Weatherall: Why not categorical equivalence?
Wuthrich, C.: Time travelling in emergent spacetime.
主題書展
更多書展購物須知
外文書商品之書封,為出版社提供之樣本。實際出貨商品,以出版社所提供之現有版本為主。部份書籍,因出版社供應狀況特殊,匯率將依實際狀況做調整。
無庫存之商品,在您完成訂單程序之後,將以空運的方式為你下單調貨。為了縮短等待的時間,建議您將外文書與其他商品分開下單,以獲得最快的取貨速度,平均調貨時間為1~2個月。
為了保護您的權益,「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨,請在商品鑑賞期內寄回,且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。

