(also: Luis Manuel Augusto; Luis M. S. Augusto)

Researcher ORCID ID:

Independent scientist

Madrid, Spain


Highest academic qualifications

Ph.D. in Philosophy – University of Paris

M.A. in Philosophy – University of Paris

M.Sc. in Computational Mathematics – Universidade Aberta


Further institutions & activities

University of Sussex (post-doctorate)

University of Barcelona (visiting researcher)



Computational logic

Vol. 1: Classical deductive computing with classical logic

London: College Publications. 06.2018.

ISBN: 978-1-84890-280-0

484 pages. In the Computing (Blue) series.

Front matter & table of contents here; Addenda & errata (1st ed.)

This is the first of a two-volume work on computational logic.

Amazon UK      Amazon US      Amazon España


Many-Valued Logics

A mathematical and computational introduction

London: College Publications. 07.2017.

ISBN: 978-1-84890-250-3

342 pages. In the Studies in Logic (Red) Series.

Front matter & table of contents here; Addenda & errata (1st ed.)

Amazon UK      Amazon US      Amazon España



Logical Consequences

Theory and applications: An introduction

London: College Publications. 02.2017.

 ISBN: 978-1-84890-236-7

228 pages. In the Studies in Logic Yellow Series: Mathematical Logic and Foundations.

Front matter & table of contents here; Addenda & errata

Amazon UK      Amazon US      Amazon España



Areas of expertise & research interests


Ongoing projects

Extra stuff





Areas of expertise & research interests


My subjects of expertise are logic (mathematical, computational, philosophical), computer maths, & cognitive science (also philosophy of mind, if broadly conceived).

I focus on pure & applied logic.

I am also interested in cognitive modeling (symbolic & connectionist), and in unconscious cognition.




For select publications and links thereto:







Ongoing projects


A two-volume work on computational logic is underway. Volume 1 is out (in College Publications, London); volume 2 is underway.


Extra stuff


Conferences, talks, etc.

- Logical consequence and closure spaces. Material prepared at the University of Barcelona, March 2015

- Automating deduction in non-classical logics: Signed resolution for many-valued logics. CMAF, University of Lisbon, 2014. Abstract; Slides



Other books

- Augusto, Luis M. (2013). Freud, Jung, Lacan: Sobre o Inconsciente. Porto: U.Porto editorial. 340 p. ISBN 978-989-746-029-6.

   Google Books; Capa & Índice ; Notas suplementares; Errata (1a ed.)


- Augusto, Luis M. (2005). Who’s Afraid of Idealism? (Epistemological Idealism from the Kantian and Nietzschean Points of View). Lanham, MD: University Press of America, 168 p. ISBN 0-7618-3297-1

   [table of contents; errata for the 1st edition 1st and 2nd printings]