Results 51 to 60 of about 2,335,588 (204)
Introduction to mathematical logic
, 2015 The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the ...
Mendelson, Elliott, Elliott Mendelson
core +1 more source
Logic of Typical and Atypical Instances of a Concept—A Mathematical Model
, 2019 In this paper, we give a mathematical model of the logic of determination of objects (LDO) based on preordered sets, and a mathematical model of the logic of typical and atypical instances (LTA). We prove that LTA is an extension of LDO.
Jean-Pierre Desclés +1 more
core +1 more source
Modalities in medieval logic [PDF]
, 2009 This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which
Uckelman, S.L., Uckelman, Sara L.
core +20 more sources
Amortised resource analysis with separation logic [PDF]
, 2011 Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Atkey, Robert
core +2 more sources
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Kechris, Alexander S. +3 more
core
Connectivity of complexes of separating curves [PDF]
, 2013 We prove that the separating curve complex of a closed orientable surface of genus g is (g − 3)-connected. We also obtain a connectivity property for a separating curve complex of the open surface that is obtained by removing a finite set from a closed ...
Sub Algebra,Geometry&Mathem. Logic begr. +2 more
core +1 more source
Normativity and its vindication: The case of Logic [PDF]
, 2004 Physical laws are irresistible. Logical rules are not. That is why logic is said to be normative. Given a system of logic we have a Norma, a standard of correctness.
Martínez Vidal, Concha +1 more
core +1 more source
Annals of the Japan Association for Philosophy of Science, 1963 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Games as mathematics of logic and computation [PDF]
, 2019 Mathematical logic and theoretical computer science are the mathematical studies of logic and computation, respectively, which largely correspond to each other notably by the Curry-Howard isomorphism.
Yamada, Norihiro
core +1 more source
Machine Learning and Knowledge ExtractionNeurosymbolic AI (NeSy AI) seeks to integrate the strengths of symbolic reasoning with computational learning methods, addressing fundamental challenges of each paradigm in isolation.
Sotiris Zikas +3 more
doaj +1 more source