Andrew Craig

Andrew Craig

University of Johannesburg - Johannesburg / South Africa
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4468001
Universiteit van Johannesburg
person_outline Andrew Craig's MOST POPULAR ARTICLES
1-) Canonicity results for mu-calculi: an algorithmic approachW Conradie, A CraigJournal of Logic and Computation 27 (3), 705-748, 2017372017
2-) A common framework for lattice-valued uniform spaces and probabilistic uniform limit spacesGJ Andrew CraigFuzzy Sets and Systems 160 (9), 1177-1203, 2009302009
3-) TiRS graphs and TiRS frames: a new setting for duals of canonical extensionsAPK Craig, MJ Gouveia, M HaviarAlgebra universalis 74 (1-2), 123-138, 2015282015
4-) A fresh perspective on canonical extensions for bounded latticesHAP A.P.K. Craig , M. HaviarApplied Categorical Structures 21 (6), 725-749, 2013272013
5-) Constructive canonicity for lattice-based fixed point logicsW Conradie, A Craig, A Palmigiano, Z ZhaoLogic, Language, Information, and Computation: 24th International Workshop …, 2017252017