A Lindelöf space X such that is normal but not paracompact
A linear extension operator for Whitney fields on closed o-minimal sets
A continuous linear extension operator, different from Whitney’s, for -Whitney fields (p finite) on a closed o-minimal subset of is constructed. The construction is based on special geometrical properties of o-minimal sets earlier studied by K. Kurdyka with the author.
A Loeb Measure Approach To The Riesz Representation Theorem
A Logic for Reasoning About Qualitative Probability
A Logic of Approximate Reasoning
A logic of injectivity.
A Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P
A Logic with Conditional Probability Operators
A Logic With Higher Order Conditional Probabilities
A Logic With Higher Order Probabilities
A logical analysis of the truth-reaction paradox
A logic-based environment for developing natural language processing applications
We present a system providing a set of tools for developing natural language processing (NLP) applications such as natural language interfaces, communication aid systems, etc. This system is based on two principles: modularity of knowledge representation to ensure the portability of the system, and guided sentence composition to ensure transparency, i.e. to ensure that the produced sentences are well-formed at the lexical, syntactic, semantic and conceptual levels. We first describe the formalisms...
A Loomis-Sikorski theorem for logics
A López-Escobar theorem for metric structures, and the topological Vaught conjecture
We show that a version of López-Escobar’s theorem holds in the setting of model theory for metric structures. More precisely, let denote the Urysohn sphere and let Mod(,) be the space of metric -structures supported on . Then for any Iso()-invariant Borel function f: Mod(,) → [0,1], there exists a sentence ϕ of such that for all M ∈ Mod(,) we have . This answers a question of Ivanov and Majcher-Iwanow. We prove several consequences, for example every orbit equivalence relation of a Polish group...
A lower bound for the complexity of Craig's interpolants in sentinential logic.
A matrix characterization of the maximal groups in
A measure theoretic approach to logical quantification
A method and tools for digital document and image reconstruction
A method for constructing some endomorphic universes
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula