Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Robinson, Claudette"'
Autor:
Craig, Andrew, Robinson, Claudette
We show that all Sugihara monoids can be represented as algebras of binary relations, with the monoid operation given by relational composition. Moreover, the binary relations are weakening relations. The first step is to obtain an explicit relationa
Externí odkaz:
http://arxiv.org/abs/2310.12935
Autor:
Craig, Andrew, Robinson, Claudette
We give a definition of representability for distributive quasi relation algebras (DqRAs). These algebras are a generalisation of relation algebras and were first described by Galatos and Jipsen (2013). Our definition uses a construction that starts
Externí odkaz:
http://arxiv.org/abs/2310.11719
We discuss an ongoing line of research in the relational (non topological) semantics of non-distributive logics. The developments we consider are technically rooted in dual characterization results and insights from unified correspondence theory. How
Externí odkaz:
http://arxiv.org/abs/2002.04257
Autor:
Conradie, Willem, Palmigiano, Alessandra, Robinson, Claudette, Tzimoulis, Apostolos, Wijnberg, Nachoem M.
This paper continues the investigation of the logic of competing theories, be they scientific, social, political etc. We introduce a many-valued, multi-type modal language which we endow with relational semantics based on enriched reflexive graphs, i
Externí odkaz:
http://arxiv.org/abs/1908.04817
Autor:
Conradie, Willem, Palmigiano, Alessandra, Robinson, Claudette, Tzimoulis, Apostolos, Wijnberg, Nachoem M.
We introduce a complete many-valued semantics for basic normal lattice-based modal logic. This relational semantics is grounded on many-valued formal contexts from Formal Concept Analysis. We discuss an interpretation and possible applications of thi
Externí odkaz:
http://arxiv.org/abs/1908.04816
Autor:
Conradie, Willem, Robinson, Claudette
We introduce hybrid algebras as algebraic semantics for hybrid languages with nominals and, possibly, the satisfaction operator. We establish a duality between hybrid algebras and the descriptive two-sorted general frames of Ten Cate. We show that al
Externí odkaz:
http://arxiv.org/abs/1604.06901
Autor:
Conradie, Willem, Palmigiano, Alessandra, Robinson, Claudette, Tzimoulis, Apostolos, Wijnberg, Nachoem
Publikováno v:
In Fuzzy Sets and Systems 1 March 2021 407:115-141
Autor:
Conradie, Willem1 willem.conradie@wits.ac.za, Robinson, Claudette2
Publikováno v:
Logic Journal of the IGPL. Jun2019, Vol. 27 Issue 3, p281-313. 33p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.