Joseph A. Goguen, Jr. (goguen-ja)

Contributions to Philosophie.ch

Bibliography

Goguen, Joseph A., Jr. 1969. “The Logic of Inexact Concepts.” Synthese 19(3–4): 325–373.
Goguen, Joseph A., Jr. 1973. “Axioms, Extensions and Applications for Fuzzy Sets: Languages and the Representation of Concepts.” Unpublished manuscript, Computer Science Department, University of California at Los Angeles.
Goguen, Joseph A., Jr. 1984. “Parameterized Programming.” csli-84-10. Stanford, California: Center for the Study of Language; Information.
Goguen, Joseph A., Jr. 1988. “Modular Algebraic Specification of Some Basic Geometrical Constructions.” Artificial Intelligence 37(1–3): 123–153.
Goguen, Joseph A., Jr. 2004. “Ontology, Society, and Ontotheology.” in Formal Ontology in Information Systems. Proceedings of the Third International Conference (FOIS-2004), edited by Achille C. Varzi and Laure Vieu, pp. 95–106. Amsterdam: IOS Press.
Goguen, Joseph A., Jr. and Malcom, Grant. 1996. Algebraic Semantics of Imperative Programs. Cambridge, Massachusetts: The MIT Press.
Goguen, Joseph A., Jr. and Meseguer, José. 1984. “Completeness of Many-Sorted Equational Logic.” csli-84-15. Stanford, California: Center for the Study of Language; Information.
Goguen, Joseph A., Jr. and Meseguer, José. 1987. “Models and Equality for Logical Programming.” in TAPSOFT ’87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, edited by G. Goos and J. Hartmanis, pp. 1–22. Berlin: Springer.
Goguen, Joseph A., Jr. and Meseguer, José. 1989. “Order-Sorted Algebra I.” sri–csl–89–10. Menlo Park, California: AI Center, SRI Center International.
Meseguer, José and Goguen, Joseph A., Jr. 1990. “Order-Sorted Algebra Solves the Constraint-Selector, Multiple Representation and Coercion Problems.” sri–csl–90–06. Menlo Park, California: AI Center, SRI Center International.
Meseguer, José, Goguen, Joseph A., Jr. and Smolka, Gert. 1989. “Order-Sorted Unification.” Journal of Symbolic Computation 8: 383–413.
Mossakowski, Till, Goguen, Joseph A., Jr., Diaconescu, Rǎzvan and Tarlecki, Andrzej. 2005. “What is a Logic?” in Logica Universalis. Towards a General Theory of Logic, edited by Jean-Yves Béziau, pp. 113–134. Basel: Birkhäuser.