Andrew Craig
Andrew Craig
Department of Mathematics and Applied Mathematics, University of Johannesburg
E-mail confirmado em uj.ac.za - Página inicial
Título
Citado por
Citado por
Ano
Canonicity results for mu-calculi: an algorithmic approach
W Conradie, A Craig
Journal of Logic and Computation 27 (3), 705-748, 2017
362017
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
252009
Constructive canonicity for lattice-based fixed point logics
W Conradie, A Craig, A Palmigiano, Z Zhao
International Workshop on Logic, Language, Information, and Computation, 92-109, 2017
202017
Constructive canonicity for lattice-based fixed point logics
W Conradie, A Craig, A Palmigiano, Z Zhao
arXiv preprint arXiv:1603.06547, 2016
202016
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
192015
A fresh perspective on canonical extensions for bounded lattices
HAP A.P.K. Craig , M. Haviar
Applied Categorical Structures 21 (6), 725-749, 2013
192013
Reconciliation of approaches to the construction of canonical extensions of bounded lattices
A Craig, M Haviar
Mathematica Slovaca 64 (6), 1335-1356, 2014
152014
Constructive canonicity for lattice-based fixed point logics. Submitted
W Conradie, A Craig, A Palmigiano, Z Zhao
arXiv preprint arXiv:1603.06547, 2016
132016
Relational semantics via TiRS graphs
W Conradie, A Craig
This volume contains the abstracts of the talks presented at TACL 2015 …, 2015
112015
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
102015
Modelling competing theories
W Conradie, A Craig, A Palmigiano, NM Wijnberg
arXiv preprint arXiv:1905.11748, 2019
92019
Modelling informational entropy
W Conradie, A Craig, A Palmigiano, NM Wijnberg
International Workshop on Logic, Language, Information, and Computation, 140-160, 2019
82019
Canonical extensions of bounded lattices and natural duality for default bilattices
APK Craig
52012
Expanding Belnap: dualities for a new class of default bilattices
APK Craig, BA Davey, M Haviar
Algebra universalis 81 (4), 1-26, 2020
12020
Expanding Belnap 2: the dual category in depth
A Craig, BA Davey, M Haviar
arXiv preprint arXiv:2012.08010, 2020
2020
Canonical extensions of lattices are more than perfect
APK Craig, MJ Gouveia, M Haviar
arXiv preprint arXiv:2001.04182, 2020
2020
The logic of categories and informational entropy
W Conradie, A Craig, A Palmigiano, NM Wijnberg
TACL 2019, 63, 2019
2019
Bilattices with two chains of truth values
A Craig, M Haviar
Book of Abstracts, 67, 2016
2016
Canonicity results for mu-calculi (Unified Correspondence III)
W Conradie, A Craig
This volume contains the abstracts of the talks presented at TACL 2015 …, 2015
2015
TiRS graphs and frames: a new setting for duals of canonical extensions of lattices
APK Craig, MJ Gouveia, M Haviar
This volume contains the abstracts of the talks presented at TACL 2015 …, 2015
2015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20