The product of implication and counter-implication systems. - Rangaswamy V. Setlur (Notre Dame J. Formal Log., 1970)

On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus. - Rangaswamy V. Setlur (Notre Dame J. Formal Log., 1970)

A Method to Determine the Expressive Power of a Set of Connectives. - Rangaswamy V. Setlur (IEEE Trans. Computers, 1970)

Duality in finite many-valued logic. - Rangaswamy V. Setlur (Notre Dame J. Formal Log., 1971)

Erratum: "On the equivalence of strong and weak validity of rule schemes in the two-valued of rule schemes in the two-valued propositional calculus". - Rangaswamy V. Setlur (Notre Dame J. Formal Log., 1974)

Reed-Muller Canonical Forms in Multivalued Logic. - Kolar L. Kodandapani; Rangaswamy V. Setlur (IEEE Trans. Computers, 1975)

A Note on Minimal Reed-Muller Canonical Forms of Switching Functions. - Kolar L. Kodandapani; Rangaswamy V. Setlur (IEEE Trans. Computers, 1977)

A Cellular Array for Multivalued Logic Functions. - Kolar L. Kodandapani; Rangaswamy V. Setlur (IEEE Trans. Computers, 1978)