Andrew Lewis-Smith

Orcid: 0000-0001-9020-4055

According to our database1, Andrew Lewis-Smith authored at least 3 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle.
Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

2023
A Kripke Semantics for Hajek's BL.
Proceedings of the Proceedings Modalities in substructural logics: Applications at the interfaces of logic, 2023

Implication Algebras and Implication Semigroups of Binary Relations.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2023


  Loading...