Some Useful Commands in TPS (2008)
Peter B. Andrews, Peter B. Andrews, Eve Longini Cohen, Dale A. Miller, Ph. D, Dan Nesmith, ...
[ ∼ A] means “A is not true”; [A ∧ B] means “A and B”; [A ∨ B] means “A or B”; [A ⊃ B] means “A implies B”; [A ≡ B] means “A if and only if B”; When the relative scopes...
Dale A. Miller, John J. Hannan
I grant The Pennsylvania State University the non-exclusive right to use this work for the University's own purposes and to make single copies of the work available on a not-for-profit basis if...
Reasoning with Higher-Order Abstract Syntax in a Logical Framework (2000)
McDowell, Raymond C., Miller, Dale A.
Logical frameworks based on intuitionistic or linear logics with higher-type quantification have been successfully used to give high-level, modular, and formal specifications of many important...
Minority Recruiting in the Navy and Marine Corps. (1998)
Northrup,Herbert R., Cowin,Ronald M., Jenkins,Frank A., Linley,Robert G., Miller,Dale A.
The objectives of the study are to investigate and analyze the minority procurement system of the Navy and Marine Corps; to compare the minority recruiting practices of the Navy and Marine Corps with...
Some Uses of Higher-Order Logic in Computational Linguistics (1986)
Dale A. Miller, Gopalan Nadathur
Consideration of the question of meaning in the framework of linguistics often requires an allusion to sets and other higher-order notions. The traditional approach to representing and reasoning...
Proofs in Higher-Order Logic (1983)
Expansion trees are defined as generalizations of Herbrand instances for formulas in a nonextensional form of higher-order logic based on Church's simple theory of types. Such expansion trees can be...