Andrew Lewis-Smith

According to our database, Andrew Lewis-Smith authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A Kripke Semantics for Hajek's BL.

Andrew Lewis-Smith

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

Implication Algebras and Implication Semigroups of Binary Relations.

Andrew Lewis-Smith, Jas Semrl

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