On decomposing a Boolean function and simplfying the components separately. - Charles C. Pinter (Commun. ACM, 1970)

On Simplifying Truth Functions: A Preliminary Reduction of Coreless Formulas. - Charles C. Pinter (IEEE Trans. Computers, 1971)

A simple algebra of first order logic. - Charles C. Pinter (Notre Dame J. Formal Log., 1973)

Algebraic logic with generalized quantifiers. - Charles C. Pinter (Notre Dame J. Formal Log., 1975)

α Logic and Infinitary Languages. - Newton C. A. da Costa; Charles C. Pinter (Math. Log. Q., 1976)

Properties Preserved under Definitional Equivalence and Interpretations. - Charles C. Pinter (Math. Log. Q., 1978)

Complexity of Network Training for Classes of Neural Networks. - Charles C. Pinter (ALT, 1995)

Stone Space of cylindric Algebras and Topological Model Spaces. - Charles C. Pinter (J. Symb. Log., 2016)