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

Researcher ORCID ID: https://orcid.org/0000-0001-9097-5722

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)

**Formal logic:
Classical problems and proofs**

London: College
Publications. 09.2019

ISBN: 978-1-84890-317-3

426 pages. In the Logic (Red) Series.

Table of contents & Preface here; Addenda
& Errata

**Languages, machines, and
classical computation**

London: College Publications. 02.2019.

ISBN: 978-1-84890-300-5

278 pages. In the Computing (Blue)
series.

Contents & Preface here; Addenda &
Errata

Citations
of this book

**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. *

**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.)

Citations of this book

**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

Citations of this book

**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 particularly interested in the
mathematical/philosophical notion of logical consequence and its applications
in (non-)classical computation.

More
generally, I research into formal languages (especially logical languages) and
their applications in human and artificial cognition.

I am also
interested in knowledge representation and cognitive modeling, conceived both
narrowly (symbolic & connectionist models) and broadly (e.g., mental
representation [in, say, Aristotle]), and in unconscious cognition.

For a view
of both the forest and the trees, see my research graph.

**Publications**** **

List
of 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. This second volume will be
largely based on formal semantics.

__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.); Citations
of this book

*- *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]

**Contact**

luis.ml.augusto(AT)gmail(DOT)com