5 found
Order:
See also
Luis M. Augusto
University Of Paris (Doctorate)
  1. Lost in Dissociation: The Main Paradigms in Unconscious Cognition.Luis M. Augusto - 2016 - Consciousness and Cognition 42:293-310.
    Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  29
    Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic.Luis M. Augusto - 2018 - London: College Publications.
    This is the first of a two-volume work combining two fundamental components of contemporary computing into classical deductive computing, a powerful form of computation, highly adequate for programming and automated theorem proving, which, in turn, have fundamental applications in areas of high complexity and/or high security such as mathematical proof, software specification and verification, and expert systems. Deductive computation is concerned with truth-preservation: This is the essence of the satisfiability problem, or SAT, the central computational problem in computability and complexity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Logical Consequences. Theory and Applications: An Introduction.Luis M. Augusto - 2017 - London: College Publications.
    The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.
    Download  
     
    Export citation  
     
    Bookmark  
  4.  15
    Languages, Machines, and Classical Computation.Luis M. Augusto - 2019 - London, UK: College Publications.
    A circumscription of the classical theory of computation building up from the Chomsky hierarchy.
    Download  
     
    Export citation  
     
    Bookmark  
  5. Many-Valued Logics. A Mathematical and Computational Introduction.Luis M. Augusto - 2017 - London: College Publications.
    Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and they are (...)
    Download  
     
    Export citation  
     
    Bookmark