We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
Abstract. Taking for granted an ontological standpoint independent of any empirical or epistemological perspective, philosophical theories of properties are actually quite rarely a...
We introduce the basic concepts on intuitionistic fuzzy subalgebras on n-ary groupoids, i.e., on algebras containing one fundamental n-ary operation. We describe some similarities...
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
Abstract. An iterative procedure for numerical conformal mapping is presented which imposes no restriction on the boundary complexity. The formulation involves two analytically equ...