30 search results - page 2 / 6 » Cox's Theorem Revisited |
STACS
2010
Springer
14 years 7 days ago
2010
Springer
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...
FFA
2010
13 years 3 months ago
2010
ENTCS
2010
13 years 2 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
SIAMDM
2010
13 years 13 hour ago
2010
Thomassen (J. Combin. Theory Ser. B, 62 (1994), pp. 180
ISMVL
2010
IEEE
13 years 7 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...