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