activity
19992008
most citedNonstandard Consequence Operators

15 citations · 52 across the 25 of their papers we have counts for

collaborators
Showing math.GMShow all

10 papers · 1 filter

math.GM2008★ 1 cited

Modeling the Dialectic

Robert A. Herrmann

Three formal first-order finite dialectical schemes are investigated. It is shown that schemes 1 and 2 have significantly different finite models. Further, an infinite natural numb…

math.GM2006★ 1 cited

The GGU-model and Generation of the Developmental Paradigms

Robert A. Herrmann

In this brief note, certain illustrated methods for generating developmental paradigms (event sequences) are formalized and compared to previous methods.

math.GM2006

General Logic-Systems that Determine Significant Collections of Consequence Operators

Robert A. Herrmann

In this paper, general logic-systems and a necessary and sufficient algorithm are used to substantiate significant consequence operator properties. It is shown, among other results…

math.GM2006

Logic for Everyone

Robert A. Herrmann

Presented, in this monograph, are the results of the U. S. Naval Academy Mathematical Logic Course Project. The propositional and predicate calculus is presented in a unique manner…

math.GM2005

General Logic-Systems and Consequence Operators

Robert A. Herrmann

In this paper, general logic-systems are investigated. It is shown that there are infinitely many finite consequence operators defined on a fixed language L that cannot be generate…

math.GM2003★ 2 cited

Nonstandard Analysis Applied to Advanced Undergraduate Mathematics - Infinitesimal Modeling

Robert A. Herrmann

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 spac…

math.GM2003★ 2 cited

Nonstandard Analysis Applied to Special and General Relativity - The Theory of Infinitesimal Light-Clocks

Robert A. Herrmann

Nonstandard analysis and electromagnetic propagation properties are used to derive all of the fundamental results for the Special Theory of Relativity. Infinitesimal modeling via i…

math.GM2003★ 3 cited

Nonstandard Analysis - A Simplified Approach

Robert A. Herrmann

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 al…

math.GM1999★ 4 cited

The Theory of Ultralogics Part II

Robert A. Herrmann

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…

math.GM1999★ 3 cited

The Theory of Ultralogics Part I

Robert A. Herrmann

As of the date of this version, this monograph (parts I and II) contains all of the known technical results relative to the Robinson-styled nonstandard modeling of natural language…