Andrew Lewis-Smith

dblp:342/0002 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
3since 2021 · last 2025
0000-0001-9020-4055ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 2 · 2 first-author · 2 since 2021Theory of computation · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2025 A Kripke Semantics for Monadic BL Chains
Andrew Lewis-Smith, Zhiguang Zhao
ECSQARU1
2025 A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle
Andrew Lewis-Smith, Zhiguang Zhao
JELIA (1)1
2023 Implication Algebras and Implication Semigroups of Binary Relations
Andrew Lewis-Smith, Jas Semrl
RAMiCS1