Spinks, Matthew

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2010 | 2008


Spinks, Matthew; Schmid, Jürg (2010). Lee classes for pseudocomplemented semilattices, revisited. Algebra universalis, 64(3-4), pp. 397-402. Basel: Birkhäuser 10.1007/s00012-011-0109-4

Bou, Félix; Paoli, Francesco; Ledda, Antonio; Spinks, Matthew; Giuntini, Roberto (2010). The Logic of Quasi-MV Algebras. Journal of logic and computation, 20(2), pp. 619-643. Oxford University Press 10.1093/logcom/exp080


Spinks, M.; Veroff, R. (2008). Constructive Logic with Strong Negation is a Substructural Logic. II. Studia logica, 89(3), pp. 401-425. Springer Science + Business Media 10.1007/s11225-008-9138-1

Provide Feedback