Rivieccio, Umberto; Spinks, Matthew Quasi-Nelson algebras. (English) Zbl 1434.03148 Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 169-188 (2019). MSC: 03G25 PDFBibTeX XMLCite \textit{U. Rivieccio} and \textit{M. Spinks}, Electron. Notes Theor. Comput. Sci. 344, 169--188 (2019; Zbl 1434.03148) Full Text: DOI
Spinks, Matthew; Rivieccio, Umberto; Nascimento, Thiago Compatibly involutive residuated lattices and the Nelson identity. (English) Zbl 1418.03129 Soft Comput. 23, No. 7, 2297-2320 (2019). MSC: 03B53 03G25 PDFBibTeX XMLCite \textit{M. Spinks} et al., Soft Comput. 23, No. 7, 2297--2320 (2019; Zbl 1418.03129) Full Text: DOI
Spinks, Matthew; Veroff, Robert Paraconsistent constructive logic with strong negation as a contraction-free relevant logic. (English) Zbl 1406.03045 Czelakowski, Janusz (ed.), Don Pigozzi on abstract algebraic logic, universal algebra, and computer science. Cham: Springer (ISBN 978-3-319-74771-2/hbk; 978-3-319-74772-9/ebook). Outstanding Contributions to Logic 16, 323-379 (2018). Reviewer: Thomas Ferguson (Round Rock) MSC: 03B47 03B53 03B20 68N17 PDFBibTeX XMLCite \textit{M. Spinks} and \textit{R. Veroff}, Outst. Contrib. Log. 16, 323--379 (2018; Zbl 1406.03045) Full Text: DOI
Paoli, Francesco; Ledda, Antonio; Kowalski, Tomasz; Spinks, Matthew Quasi-discriminator varieties. (English) Zbl 1335.08004 Int. J. Algebra Comput. 24, No. 3, 375-411 (2014). MSC: 08B15 03C05 08A40 PDFBibTeX XMLCite \textit{F. Paoli} et al., Int. J. Algebra Comput. 24, No. 3, 375--411 (2014; Zbl 1335.08004) Full Text: DOI
Spinks, M.; Veroff, R. Constructive logic with strong negation is a substructural logic. II. (English) Zbl 1166.03010 Stud. Log. 89, No. 3, 401-425 (2008). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03G25 PDFBibTeX XMLCite \textit{M. Spinks} and \textit{R. Veroff}, Stud. Log. 89, No. 3, 401--425 (2008; Zbl 1166.03010) Full Text: DOI Link
Spinks, Matthew; Veroff, Robert Constructive logic with strong negation is a substructural logic. I. (English) Zbl 1145.03013 Stud. Log. 88, No. 3, 325-348 (2008). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03B35 03G25 06B20 PDFBibTeX XMLCite \textit{M. Spinks} and \textit{R. Veroff}, Stud. Log. 88, No. 3, 325--348 (2008; Zbl 1145.03013) Full Text: DOI