Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > Mathematical Logic (F.4.1)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 444 Reviews about "Mathematical Logic (F.4.1)": Date Reviewed   Simple type theory: a practical logic for expressing and reasoning about mathematical ideas Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138) The book is an introduction to one of the dialects of type theory. All type theories are grounded in logic. The promise of simple type theory is that it can be understood and handled much easier than other versions of type theory, for example, dep... Sep 19 2023   Proof theory and algebra in logic Ono H., Springer International Publishing, New York, NY, 2019. 168 pp.  Type: Book If you are interested in mathematical logic and its relationship to algebraic structures, this brief introductory book gives an excellent overview for you. The author of the book, Hiroakira Ono, has been a very active researcher in thi... Mar 3 2021   Credulous acceptability, poison games and modal logic Grossi D., Rey S.  AAMAS 2019 (Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal, QC, Canada, May 13-17, 2019) 1994-1996, 2019.  Type: Proceedings Abstract argumentation theory is based on the notion that argument x attacks argument y. A set of arguments S is “admissible” if no arguments within the set a... Sep 30 2020   Symbolic checking of fuzzy CTL on fuzzy program graph Ebrahimi M., Sotudeh G., Movaghar A. Acta Informatica 56(1): 1-33, 2019.  Type: Article This paper presents a new temporal logic for fuzzy logic systems, fuzzy computation tree logic (FzCTL), based on previous work on Kripke structures for fuzzy logic systems, that is, fuzzy program graph (FzPG) [1]. The motivation for pr... Mar 20 2019   Neighborhood semantics for modal logic Pacuit E., Springer International Publishing, New York, NY, 2017. 154 pp.  Type: Book (978-3-319671-48-2) Reading and writing a review of this wonderful book has been a pleasure. Knowing the basics of propositional modal logic may explain why I enjoyed reading it. The author has gathered and surveyed many papers in writing this book. This ... Feb 14 2019   Safe autonomy under perception uncertainty using chance-constrained temporal logic Jha S., Raman V., Sadigh D., Seshia S. Journal of Automated Reasoning 60(1): 43-62, 2018.  Type: Article The topic of self-driving cars is receiving a lot of press lately. This paper on safe autonomy is an interesting read for people researching autonomous vehicles or more generally autonomous control systems. While the authors provide re... Jan 17 2019   Generalizing Morley’s and other theorems with automated realization Braude E., Abdyldayev S. Journal of Automated Reasoning 60(4): 503-526, 2018.  Type: Article Progress in the area of automated theorem proving has been traditionally demonstrated by automatically and mechanically proving conjectures and theorems in classical mathematics. Examples include the proof of the four-color theorem and... Oct 10 2018   Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning Slaney J., Woltzenlogel Paleo B. Journal of Automated Reasoning 60(2): 133-156, 2018.  Type: Article This work introduces the conflict resolution calculus (CR), which is shown to use unification “to generalize conflict-driven clause learning,” and an intermediary calculus, clausal natural deduction (CND). It proves... Jul 3 2018   On the parameterized complexity of associative and commutative unification Akutsu T., Jansson J., Takasu A., Tamura T. Theoretical Computer Science 660(C): 57-74, 2017.  Type: Article Equational unification and matching play an important role in theorem proving, term rewriting, and declarative programming. Given a set of axioms and two terms, equational unification asks whether the terms can be made equal by variabl... Jun 28 2018   Introduction to morphogenetic computing Resconi G., Xu X., Xu G., Springer International Publishing, New York, NY, 2017. 172 pp.  Type: Book (978-3-319576-14-5) Morphogenetic computing is a fundamentally new approach to computing that attempts to add consistency and stability in uncertain situations. Valued logic or machine learning may be applied to reason in uncertain situations. However, th... Mar 30 2018       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy