15 citations · 52 across the 25 of their papers we have counts for
25 papers
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…
Modern Infinitesimal Analysis Applied to the Physical Metric dS and a Theoretical Verification of a Time-dilation Conjecture
Robert A. Herrmann
In this paper, the modern theory of infinitesimals is applied to the General Relativity metric dS and its geometric and physical meanings are rigorously investigated. Employing res…
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.
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…
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…
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…