LUIS M. AUGUSTO

M.Sc., M.A., Ph.D.

(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

Publications

Ongoing courses & projects

Extra stuff

Links

Contact

 

 

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

 

Amazon UK      Amazon US

 

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)

 

Amazon UK     Amazon US

 

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

Addenda & errata

Citations of this book

Addenda & errata (1st edition)

Amazon UK      Amazon US

 

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

Reviews

Amazon UK      Amazon US

 

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)

Amazon UK      Amazon US

 

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

Google Books

Citations of this book

Amazon UK

 

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

 

Amazon UK      Amazon US

 

 

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)

 

 

Extra stuff

 

Conferences, talks, etc.

To be announced

 

 

Links

 

PhilPapers

 

ORCID

Scopus

LinkedIn

Semantic Scholar

 

Contact

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