We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes.
- Authors
BOTTONI, PAOLO; GORLA, DANIELE; KASANGIAN, STEFANO; LABELLA, ANNA
- Abstract
The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB, obtained from a complete meet-semilattice B and from B-valued equivalence relations. We prove that, if B has enough properties, then LB presents a two-fold internal logical structure, induced by two doctrines definable on it: one related to its families of subobjects and one to its families of regular subobjects. The first doctrine is Heyting and makes LB a Heyting category, the second one is Boolean. We will see that the difference between these two logical structures, namely the different behaviour of the negation operator, can be interpreted in terms of a distinction between non-deterministic and deterministic behaviours of agents able to perform computations in the context of the same process. Moreover, the sorted first-order logic naturally associated with LB can be extended to a modal/temporal logic, again using the doctrinal setting. Relations are also drawn to other computational models.
- Subjects
SEMILATTICES; EQUIVALENCE relations (Set theory); BOOLEAN algebra; CATEGORIES (Mathematics); DETERMINISTIC processes; FIRST-order logic
- Publication
Mathematical Structures in Computer Science, 2018, Vol 28, Issue 4, p508
- ISSN
0960-1295
- Publication type
Article
- DOI
10.1017/S0960129517000019