
The logic of contextuality
Contextuality is a key signature of quantum nonclassicality, which has ...
read it

Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory
We study finite firstorder satisfiability (FSAT) in the constructive se...
read it

Finite Relation Algebras with Normal Representations
One of the traditional applications of relation algebras is to provide a...
read it

Some remarks regarding finite bounded commutative BCKalgebras
In this chapter, starting from some results obtained in the papers [FV; ...
read it

Hardness of Network Satisfaction for Relation Algebras with Normal Representations
We study the computational complexity of the general network satisfactio...
read it

Complete Test Suites for Input/Output Systems
Model based testing is a wellestablished approach to verify I/O labeled...
read it

Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebrabased approach
Probabilistic behavior is omnipresent in computer controlled systems, in...
read it
On the construction of explosive relation algebras
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Haeberer and Veloso in the early 90's aiming at enriching relation algebra, an already successful language for program specification, with the capability of expressing some form of parallel computation. The further study of this class of algebras led to many meaningful results linked to interesting properties of relation algebras such as representability and finite axiomatizability, among others. Also in the 90's, Veloso introduced a subclass of relation algebras that are expansible to fork algebras, admitting a large number of nonisomorphic expansions, referred to as explosive relation algebras. In this work we discuss some general techniques for constructing algebras of this type.
READ FULL TEXT
Comments
There are no comments yet.