Boolean games – Classifying strategies and omitting cardinality assumptions
Simultaneous strategies and Boolean games of uncountable length
Ramsey-type theorems
Convergent sequences in
More on set-theoretic characteristics of summability of sequences by regular (Toeplitz) matrices
Set-theoretic characteristics of summability of sequences and convergence of series
Game properties of Boolean algebras
Amoeba relation and Galois-Tukey connections
A note on the effectiveness of tests for the absolute convergence and divergence of infinite series
Declarative and procedural semantics of fuzzy similarity based unification
In this paper we argue that for fuzzy unification we need a procedural and declarative semantics (as opposed to the two valued case, where declarative semantics is hidden in the requirement that unified terms are syntactically – letter by letter – identical). We present an extension of the syntactic model of unification to allow near matches, defined using a similarity relation. We work in Hájek’s fuzzy logic in narrow sense. We base our semantics on a formal model of fuzzy logic programming extended...
On matrix rapid filters
Galois-Tukey equivalence between matrix summability and absolute convergence of series is shown and an alternative characterization of rapid ultrafilters on ω is derived.
Remarks to a modification of Ramsey-type theorems
On the Boolean structure generated by -points of
Dependences between definitions of finiteness
On absolutely divergent series
We show that in the -stage countable support iteration of Mathias forcing over a model of CH the complete Boolean algebra generated by absolutely divergent series under eventual dominance is not isomorphic to the completion of P(ω)/fin. This complements Vojtáš’ result that under the two algebras are isomorphic [15].
Fuzzy querying: issues and perspectives
The term query is widely used in the database as well as information retrieval communities. Basically, a query against a collection of information items (to be called later, for brevity, an information source) provides a formal description of the items of interest to the user posing this query. A source of information is meant here very generally. It may take the form of an archive of multimedia or textual documents, a database, or a knowledge base. In the three previous examples the information...
Special issue: Guest Editorial [Computational and Mathematical Methods in Science and Engineering 2002 - Best Papers]
An ILP model for a monotone graded classification problem
Motivation for this paper are classification problems in which data can not be clearly divided into positive and negative examples, especially data in which there is a monotone hierarchy (degree, preference) of more or less positive (negative) examples. We present a new formulation of a fuzzy inductive logic programming task in the framework of fuzzy logic in narrow sense. Our construction is based on a syntactical equivalence of fuzzy logic programs FLP and a restricted class of generalised annotated...
Page 1