On generalized fuzzy strongly semiclosed sets in fuzzy topological spaces.
On generalized products preserving compactness.
On generalized projective classes
On generalized topological spaces I
We begin a systematic study of the category GTS of generalized topological spaces (in the sense of H. Delfs and M. Knebusch) and their strictly continuous mappings. We reformulate the axioms. Generalized topology is found to be connected with the concept of a bornological universe. Both GTS and its full subcategory SS of small spaces are topological categories. The second part of this paper will also appear in this journal.
On generalized topological spaces II
This is the second part of A. Piękosz [Ann. Polon. Math. 107 (2013), 217-241]. The categories GTS(M), with M a non-empty set, are shown to be topological. Several related categories are proved to be finitely complete. Locally small and nice weakly small spaces can be described using certain sublattices of power sets. Some important elements of the theory of locally definable and weakly definable spaces are reconstructed in a wide context of structures with topologies.
On generating and concreteness in quantum logics
On generating large classes of Sheffer functions.
On generating of relations
On global induction mechanisms in a -calculus with explicit approximations
We investigate a Gentzen-style proof system for the first-order -calculus based on cyclic proofs, produced by unfolding fixed point formulas and detecting repeated proof goals. Our system uses explicit ordinal variables and approximations to support a simple semantic induction discharge condition which ensures the well-foundedness of inductive reasoning. As the main result of this paper we propose a new syntactic discharge condition based on traces and establish its equivalence with the semantic...
On global induction mechanisms in a μ-calculus with explicit approximations
We investigate a Gentzen-style proof system for the first-order μ-calculus based on cyclic proofs, produced by unfolding fixed point formulas and detecting repeated proof goals. Our system uses explicit ordinal variables and approximations to support a simple semantic induction discharge condition which ensures the well-foundedness of inductive reasoning. As the main result of this paper we propose a new syntactic discharge condition based on traces and establish its equivalence with the semantic...
On gradients of functions definable in o-minimal structures
We prove the o-minimal generalization of the Łojasiewicz inequality , with , in a neighborhood of , where is real analytic at and . We deduce, as in the analytic case, that trajectories of the gradient of a function definable in an o-minimal structure are of uniformly bounded length. We obtain also that the gradient flow gives a retraction onto levels of such functions.
On granular derivatives and the solution of a granular initial value problem
Perceptions about function changes are represented by rules like “If X is SMALL then Y is QUICKLY INCREASING.” The consequent part of a rule describes a granule of directions of the function change when X is increasing on the fuzzy interval given in the antecedent part of the rule. Each rule defines a granular differential and a rule base defines a granular derivative. A reconstruction of a fuzzy function given by the granular derivative and the initial value given by the rule is similar to Euler’s...
On guessing whether a sequence has a certain property.
On Helling cardinals
On hereditarily separable Hausdorff spaces in the constructible universe
On hidden variables
On homogeneous coverings of Euclidean spaces.
On homomorphisms of fuzzy groups.
On homotopical equivalence of tolerance spaces
On Horn Theories.