Publications: Mr Andrew Lewis-Smith

Back to Search

Andrew L-S, Oliva P, Robinson E(2020). Kripke Semantics for Intuitionistic Lukasiewicz Logic. Studia Logica: an international journal for symbolic logic

10.1007/s11225-020-09908-z

https://qmro.qmul.ac.uk/xmlui/handle/123456789/64072