CORR

2011

Springer

12 years 11 months ago
2011

Springer

In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...

CORR

2011

Springer

13 years 2 months ago
2011

Springer

Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the ﬁnal coalgebras can be...

EUROCAST

2009

Springer

13 years 5 months ago
2009

Springer

Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...

LOGCOM

2010

13 years 6 months ago
2010

The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...

MLQ

2002

13 years 7 months ago
2002

We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...

JUCS

2002

13 years 7 months ago
2002

: By introducing a new operation, the exponentiation of formal languages, we can define Heyting algebras of formal languages. It turns out that some well known families of language...

SIAMCOMP

2000

13 years 7 months ago
2000

In this paper we consider the complexity of several problems involving finite algebraic structures. Given finite algebras A and B, these problems ask the following. (1) Do A and B ...

FUIN

2002

13 years 7 months ago
2002

The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...

EJC

2002

13 years 7 months ago
2002

The Orlik-Solomon algebra of a matroid M is the quotient of the exterior algebra on the points by the ideal (M) generated by the boundaries of the circuits of the matroid. There i...

ORDER

2006

13 years 7 months ago
2006

We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by the...