Andrew Lewis-Smith

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

2023

A Kripke Semantics for Hajek's BL.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Modalities in substructural logics: Applications at the interfaces of logic, 2023

Implication Algebras and Implication Semigroups of Binary Relations.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023