A note on the extensibility of states
Sylvia Pulmannová (1981)
Mathematica Slovaca
Similarity:
Sylvia Pulmannová (1981)
Mathematica Slovaca
Similarity:
Bart Jacobs (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean...
Paul R. Halmos (1954-1956)
Compositio Mathematica
Similarity:
Jorge Catumba, Rafael Díaz (2014)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We consider four combinatorial interpretations for the algebra of Boolean differential operators and construct, for each interpretation, a matrix representation for the algebra of Boolean differential operators.
R. Beazer, D. S. Macnab (1979)
Colloquium Mathematicae
Similarity: