(also: Luis
Manuel Augusto; Luis M. S. Augusto)
Founder and
Editor-in-chief of
·
Journal of Knowledge Structures &
Systems
·
Ω ::= Journal of Formal Languages
Researcher ORCID ID: https://orcid.org/0000-0001-9097-5722
Independent scientist
Current location: Madrid, Spain
Highest academic qualifications
M.Sc.
in Computational Mathematics – Universidade Aberta
M.A.
in Philosophy – University of Paris
Ph.D.
in Philosophy – University of Paris
Further institutions & activities
University
of Sussex (post-doctorate)
University
of Barcelona (visiting researcher)
Etc.
Areas of
expertise & research interests
I am a
computational mathematician working in formal languages. I focus on formal
systems that generate undecidable languages or code (e.g., van Wijngaarden grammars, Thue-systems,
Post-systems, some logical systems). I am currently working in van Wijngaarden grammars:
Augusto, L. M. (2023). Two-level
grammars: Some interesting properties of van Wijngaarden
grammars. Omega – Journal of Formal
Languages, 1, 3-34.
Augusto, L. M. (2023). The
van Wijngaarden grammars: A syntax primer with
decidable restrictions. Journal of
Knowledge Structures & Systems, 4(2),
1-39.
Augusto, L. M. (forthcoming; 2024). Little ado about meaning: The intrinsic
semantics of van Wijngaarden grammars. Omega – Journal of Formal Languages, 2.
I also work
in formal philosophy and cognitive science.
Publications
List
of publications and links thereto.
Books:
Computational logic
Vol. 1: Classical deductive
computing with classical logic
3rd edition
London: College Publications. 01.2022
ISBN: 978-1-84890-280-0
574 pages. In the Computing (Blue)
series.
Table of contents, Preface,
&c. here
Languages, machines, and
classical computation
3rd edition
London: College Publications. 10.2021.
ISBN: 978-1-84890-300-5
326 pages. In the Computing (Blue)
series.
Table of contents, Preface,
&c.: here
Citations
of this book
Addenda
& Errata for 2nd edition (2020)
Logical Consequences
Theory and applications: An
introduction
2nd edition
London: College Publications. 06.2020.
ISBN: 978-1-84890-236-7
270 pages. In the Studies in Logic
Yellow Series: Mathematical Logic and Foundations.
Table of Contents, Preface,
&c. here
Citations of this book
Addenda & errata (1st edition)
Many-Valued Logics
A mathematical and
computational introduction
2nd edition
London: College Publications. 06.2020.
ISBN: 978-1-84890-250-3
382 pages. In the Studies in Logic (Red)
Series.
Table of contents, Preface,
&c.: here
Citations of this book
Formal logic:
Classical problems and proofs
2nd printing (06.2020)
London: College Publications.
09.2019
ISBN: 978-1-84890-317-3
426 pages. In the Logic (Red) Series.
Table of contents, Preface, &c.: here
Addenda
& Errata (1st printing)
Freud, Jung, Lacan
Sobre o inconsciente
Oporto: University of Oporto (U.Porto
editorial). 2013.
ISBN: 978-989-746-029-6
340 pages
Table of contents, Preface,
&c.: FJL_inconsciente; Errata (1a ed.)
Citations
of this book
Who’s
Afraid of Idealism?
Epistemological
Idealism from the Kantian and Nietzschean Points of
View
Lanham, MD: University Press of America. 2005.
ISBN: 0-7618-3297-1
168 pages. 3rd printing
Table of contents, Preface,
&c.: here
Ongoing
stuff
·
I am working on van Wijngaarden grammars. (See above.)
·
In the quest for
decidability, I am researching into automata and infinite games, namely in
association with monadic second-order logic, temporal logics, many-valued
logics, etc. This will be the main subject of the second volume of Computational logic (Volume 1 is already
published in College
Publications, London).
·
In (slow) progress, and
related to the above projects: Logic in
knowledge representation and reasoning: Central topics via readings
and Knowledge & Logic.
·
I am working
together with Farshad Badie
(Research Group Natural and Formal Languages, Aalborg University) on symbolic
AI based on shared conceptualization. Published papers: Augusto & Badie (2022), Badie
& Augusto (2022), Badie & Augusto (2023)
Conferences,
talks, etc.
To be announced
Contact
luis.ml.augusto(AT)gmail(DOT)com