Follow
Andrew Craig
Andrew Craig
Department of Mathematics and Applied Mathematics, University of Johannesburg
Verified email at uj.ac.za - Homepage
Title
Cited by
Cited by
Year
Canonicity results for mu-calculi: an algorithmic approach
W Conradie, A Craig
Journal of Logic and Computation 27 (3), 705-748, 2017
382017
A common framework for lattice-valued uniform spaces and probabilistic uniform limit spaces
GJ Andrew Craig
Fuzzy Sets and Systems 160 (9), 1177-1203, 2009
302009
A fresh perspective on canonical extensions for bounded lattices
HAP A.P.K. Craig , M. Haviar
Applied Categorical Structures 21 (6), 725-749, 2013
282013
TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
APK Craig, MJ Gouveia, M Haviar
Algebra universalis 74 (1-2), 123-138, 2015
272015
Constructive canonicity for lattice-based fixed point logics
W Conradie, A Craig, A Palmigiano, Z Zhao
Logic, Language, Information, and Computation: 24th International Workshop …, 2017
242017
Constructive canonicity for lattice-based fixed point logics
W Conradie, A Craig, A Palmigiano, Z Zhao
arXiv preprint arXiv:1603.06547, 2016
242016
Reconciliation of approaches to the construction of canonical extensions of bounded lattices
A Craig, M Haviar
Mathematica Slovaca 64 (6), 1335-1356, 2014
222014
Constructive canonicity for lattice-based fixed point logics. Submitted
W Conradie, A Craig, A Palmigiano, Z Zhao
arXiv preprint arXiv:1603.06547, 2016
152016
Modelling informational entropy
W Conradie, A Craig, A Palmigiano, NM Wijnberg
Logic, Language, Information, and Computation: 26th International Workshop …, 2019
142019
Relational semantics via TiRS graphs
W Conradie, A Craig
This volume contains the abstracts of the talks presented at TACL 2015 …, 2015
142015
Modelling competing theories
W Conradie, A Craig, A Palmigiano, NM Wijnberg
arXiv preprint arXiv:1905.11748, 2019
132019
Product representation for default bilattices: an application of natural duality theory
LM Cabrer, APK Craig, HA Priestley
Journal of Pure and Applied Algebra 219 (7), 2962-2988, 2015
112015
Canonical extensions of bounded lattices and natural duality for default bilattices
A Craig, A Craig
University of Oxford, 2012
62012
Expanding Belnap: dualities for a new class of default bilattices
APK Craig, BA Davey, M Haviar
Algebra universalis 81 (4), 1-26, 2020
42020
Dual digraphs of finite semidistributive lattices
A Craig, M Haviar, J São João
CUBO, A Mathematical Journal 24 (3), 369–392-369–392, 2022
32022
Canonical extensions of lattices are more than perfect
APK Craig, MJ Gouveia, M Haviar
Algebra universalis 83 (2), 12, 2022
22022
Representations and dualities for bounded lattices
A Craig
22022
Expanding Belnap 2: the dual category in depth
A Craig, BA Davey, M Haviar
arXiv preprint arXiv:2012.08010, 2020
22020
Representable distributive quasi relation algebras
A Craig, C Robinson
arXiv preprint arXiv:2310.11719, 2023
12023
A representation of odd Sugihara chains via weakening relations
A Craig, C Robinson
arXiv preprint arXiv:2310.12935, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20