相关论文: The Theory of Ultralogics Part I

As of this date of this version, this monograph (part I and II) contains most of the technical results relative to the Robinson-styled nonstandard modeling of natural languages and certain associated linguistic processes such as deduction…

In this paper, we show how nonstandard consequence operators, ultralogics, can generate the general informational content displayed by probability models. In particular, a probability model that predicts that a specific single event will…

This is a Research and Instructional Development Project from the U. S. Naval Academy. In this monograph, the basic methods of nonstandard analysis for n-dimensional Euclidean spaces are presented. Specific rules are deveoped and these…

This paper presents the beginnings of an automatic statistician, focusing on regression problems. Our system explores an open-ended space of statistical models to discover a good explanation of a data set, and then produces a detailed…

Using mathematical techniques to model one of the most simplistic of human linguistic processes, it is rationally predicted that within the nonstandard physical world (NSP-world) there exists a force-like (logical) operator *S and an entity…

In this monograph, nonstandard characteristics for many notions from real analysis are obtained and applied. However, only two simple types of atomic formula are used and almost all of the characteristics are shown to hold for a simple…

These lecture notes, to be completed in a later version, offer a short and rigorous introduction to Nostandard Analysis, mainly aimed to reach to a presentation of the basics of Loeb integration, and in particular, Loeb measures. The…

We describe two systems currently being developed that use large language models for the automatized correction of (i) exercises in translating back and forth between natural language and the languages of propositional logic and first-order…

A standard form of analysis for linguistic typology is the universal implication. These implications state facts about the range of extant languages, such as ``if objects come after verbs, then adjectives come after nouns.'' Such…

Currently the two popular ways to practice Robinson's nonstandard analysis are the model-theoretic approach and the axiomatic/syntactic approach. It is sometimes claimed that the internal axiomatic approach is unable to handle constructions…

This paper extends implication-space semantics to include first-order quantification. Implication-space semantics has recently been introduced as an inferentialist formal semantics that can capture nonmonotonic and nontransitive material…

The study of linguistic typology is rooted in the implications we find between linguistic features, such as the fact that languages with object-verb word ordering tend to have post-positions. Uncovering such implications typically amounts…

We construct grand unified models on an orbifold based on unphysical grand unification. The reduction to the standard model or its supersymmetric one is carried out using a variant of Parisi-Sourlas mechanism and nontrivial $Z_2$ parity…

This paper presents a novel possible worlds semantics, designed to elucidate the underpinnings of ultrafinitism. By constructing a careful modification of the well-known Kripke models for inuitionistic logic, we seek to extend our…

We show that many important natural science models in their mathematical formulation can be reduced to non-strictly hyperbolic systems of the same kind. This allows the same methods to be applied to them so that some essential results…

This paper provides a geometric characterization of subclasses of the regular languages. We use finite model theory to characterize objects like strings and trees as relational structures. Logical statements meeting certain criteria over…

This paper is concerned with the theory of generic non-normal nonlinear evolutionary equations, with potential applications in Fluid Dynamics and Optics. Two theoretical models are presented. The first is a model two-level non-normal…

In this paper we characterize the congruence associated to the direct sum of all irreducible representations of a finite semigroup over an arbitrary field, generalizing results of Rhodes for the field of complex numbers. Applications are…

These notes are concerned with the existence and the basic properties of the set-theoretic universes for nonstandard analysis, compiled by a beginner in the subject. It assumes a basic background in first-order logic, though the necessary…

This monograph offers a toolbox of mathematical techniques, which have been effective and widely applicable in information-theoretic analysis. The first tool is a generalization of the method of types to Gaussian settings, and then to…