View source for Joseph Goguen

'''Joseph Amadee Goguen''' (28 June 1941 – 3 July 2006) was a U.S. [[computer scientist]]. He was professor of Computer Science at the University of California and Oxford University and held research positions at IBM and SRI International.

== Biography ==

Goguen's work was one of the earliest approaches to the algebraic characterization of [[Abstract data type|abstract data types]] and he originated and helped develop the OBJ family of programming languages.

He was author of ''[[A Categorical Manifesto]]'' and founder and Editor-in-Chief of the ''[[Journal of Consciousness Studies]]''.

His development of institution theory impacted the field of universal logic.

Standard implication in product fuzzy logic is often called "Goguen implication".

"Goguen categories" are named after him.

== See also ==

* [[Abstract data type]]

== External links ==

* [https://en.wikipedia.org/wiki/Joseph_Goguen Joseph Goguen] @ Wikipedia.org 

[[Category:Computer scientists]]
[[Category:Consciousness]]
[[Category:Mathematicians]]