Canonicity results for mu-calculi: an algorithmic approach W Conradie, A Craig Journal of Logic and Computation 27 (3), 705-748, 2017 | 40 | 2017 |
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 | 30 | 2009 |
A fresh perspective on canonical extensions for bounded lattices HAP A.P.K. Craig , M. Haviar Applied Categorical Structures 21 (6), 725-749, 2013 | 28 | 2013 |
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 | 27 | 2015 |
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 | 26 | 2017 |
Constructive canonicity for lattice-based fixed point logics W Conradie, A Craig, A Palmigiano, Z Zhao arXiv preprint arXiv:1603.06547, 2016 | 26 | 2016 |
Reconciliation of approaches to the construction of canonical extensions of bounded lattices A Craig, M Haviar Mathematica Slovaca 64 (6), 1335-1356, 2014 | 22 | 2014 |
Constructive canonicity for lattice-based fixed point logics. Submitted W Conradie, A Craig, A Palmigiano, Z Zhao arXiv preprint arXiv:1603.06547, 2016 | 15 | 2016 |
Modelling informational entropy W Conradie, A Craig, A Palmigiano, NM Wijnberg Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 14 | 2019 |
Relational semantics via TiRS graphs W Conradie, A Craig This volume contains the abstracts of the talks presented at TACL 2015 …, 2015 | 14 | 2015 |
Modelling competing theories W Conradie, A Craig, A Palmigiano, NM Wijnberg arXiv preprint arXiv:1905.11748, 2019 | 13 | 2019 |
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 | 11 | 2015 |
Canonical extensions of bounded lattices and natural duality for default bilattices A Craig, A Craig University of Oxford, 2012 | 6 | 2012 |
Expanding Belnap: dualities for a new class of default bilattices APK Craig, BA Davey, M Haviar Algebra universalis 81 (4), 1-26, 2020 | 4 | 2020 |
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 | 3 | 2022 |
Canonical extensions of lattices are more than perfect APK Craig, MJ Gouveia, M Haviar Algebra universalis 83 (2), 12, 2022 | 2 | 2022 |
Representations and dualities for bounded lattices A Craig Acta Univ. M. Belii Ser. Math. 80, 1-35, 2022 | 2 | 2022 |
Expanding Belnap 2: the dual category in depth A Craig, BA Davey, M Haviar arXiv preprint arXiv:2012.08010, 2020 | 2 | 2020 |
Representable distributive quasi relation algebras A Craig, C Robinson arXiv preprint arXiv:2310.11719, 2023 | 1 | 2023 |
A representation of odd Sugihara chains via weakening relations A Craig, C Robinson arXiv preprint arXiv:2310.12935, 2023 | | 2023 |