15 citations · 52 across the 25 of their papers we have counts for
Showing 2006Show all
3 papers · 1 filter
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…