Joseph Goguen
__NOTOC__ Joseph Amadee Goguen ( ; June 28, 1941 – July 3, 2006) was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International. In the 1960s, along with Lotfi Zadeh, Goguen was one of the earliest researchers in fuzzy logic and made profound contributions to fuzzy set theory. In the 1970s Goguen's work was one of the earliest approaches to the algebraic characterisation of abstract data types and he originated and helped develop the OBJ family of programming languages. He was author of ''A Categorical Manifesto'' and founderBurstall R., "My friend Joseph Goguen", in ''Goguen Festschrift'', K. Futatsugi et al. (Eds.), Lecture Notes in Computer Science 4060, Springer, pp. 25–30 (2006). and Editor-in-Chief of the '' Journal of Consciousness Studies''. His development of institution theory impacted the field of universal logic. Standard implication in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
San Diego, California
San Diego ( , ) is a city on the Pacific coast of Southern California, adjacent to the Mexico–United States border. With a population of over 1.4 million, it is the List of United States cities by population, eighth-most populous city in the United States. San Diego is the county seat, seat of San Diego County. It is known for its mild Mediterranean climate, extensive List of beaches in San Diego County, beaches and List of parks in San Diego, parks, long association with the United States Navy, and recent emergence as a wireless, electronics, List of hospitals in San Diego, healthcare, and biotechnology development center. Historically home to the Kumeyaay people, San Diego has been referred to as the ''Birthplace of California'', as it was the first site visited and settled by Europeans on what is now the West Coast of the United States. In 1542, Juan Rodríguez Cabrillo claimed the area for Spain, forming the basis for the settlement of Alta California, 200 years later. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Institution (computer Science)
The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used in computer science". The notion attempts to "formalize the informal" concept of logical system. The use of institutions makes it possible to develop concepts of specification languages (like structuring of specifications, parameterization, implementation, refinement, and development), proof calculi, and even tools in a way completely independent of the underlying logical system. There are also morphisms that allow to relate and translate logical systems. Important applications of this are re-use of logical structure (also called borrowing), and heterogeneous specification and combination of logics. The spread of institutional model theory has generalized various notions and results of model theory, and institutions themselves have impacted the progress of universal logic. Definition The theory of institutions ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fuzzy Sets And Systems
''Fuzzy Sets and Systems'' is a peer-reviewed international scientific journal published by Elsevier on behalf of the International Fuzzy Systems Association (IFSA) and was founded in 1978. The editors-in-chief (as of 2010) are Bernard De Baets of the Department of Data Analysis and Mathematical Modelling (at Ghent University in Belgium), Didier Dubois (of IRIT, Université Paul Sabatier in Toulouse, France) and Eyke Hüllermeier (of the Department of Mathematics, Statistics and Computer Science, Ludwig-Maximilians Universität München, Germany). The journal publishes 24 issues a year. ''Fuzzy Sets and Systems'' is abstracted and indexed by Scopus and the Science Citation Index. According to the Journal Citation Reports released in 2010, its 2-year impact factor calculated for 2020 is 3.343 and its 5-year impact factor for 2020 is 3.213. References {{reflist See also * Fuzzy control system * Fuzzy Control Language * Fuzzy logic * Fuzzy set Fuzzy or Fuzzies may refer to: M ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
T-norm Logics
T-norm fuzzy logics are a family of non-classical logics, informally delimited by having a semantics that takes the real unit interval , 1for the system of truth values and functions called t-norms for permissible interpretations of conjunction. They are mainly used in applied fuzzy logic and fuzzy set theory as a theoretical basis for approximate reasoning. T-norm fuzzy logics belong in broader classes of fuzzy logics and many-valued logics. In order to generate a well-behaved implication, the t-norms are usually required to be left-continuous; logics of left-continuous t-norms further belong in the class of substructural logics, among which they are marked with the validity of the ''law of prelinearity'', (''A'' → ''B'') ∨ (''B'' → ''A''). Both propositional and first-order (or higher-order) t-norm fuzzy logics, as well as their expansions by modal and other operators, are studied. Logics that restrict the t-norm semantics to a subset of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Universal Logic
Universal Logic is an emerging interdisciplinary field involving logic, non-classical logic, categorical logic, set theory, foundation of logic, and the philosophy and history of logic. The goal of the field is to develop an understanding of the nature of different types of logic. The expression ''Universal logic'' was coined by analogy with the expression ''Universal algebra'' by Jean-Yves Béziau. The aim was to develop Universal logic as a field of logic that studies the features common to all logical systems, aiming to be to logic what Universal algebra is to algebra, and guided by the features of "unity, generality, abstraction, and undetermination". A number of approaches to universal logic in this sense have been proposed since the twentieth century, using model theoretic and categorical approaches. History and Development The roots of universal logic as general theory of logical systems may go as far back as some work of Alfred Tarski in the early twentieth century and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Journal Of Consciousness Studies
The ''Journal of Consciousness Studies'' is an interdisciplinary peer-reviewed academic journal dedicated entirely to the field of consciousness studies. It is published by Imprint Academic, and was founded in 1994. It was previously edited by Joseph Goguen, and is currently edited by Professor Valerie Gray Hardcastle of the University of Cincinnati. Background The journal was established in part to provide visibility across disciplines to various researchers approaching the problem of consciousness from their respective fields. The articles are usually in non-specialized language (in contrast to a typical academic journal) in order to make them accessible to those in other disciplines. This also serves to help make them accessible to laypersons. In contrast to many other journals, it attempts to incorporate fields beyond the realm of the natural sciences and the social sciences such as the humanities, philosophy, critical theory, and comparative religion. A review of new jou ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Springer Science+Business Media
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second-largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, op ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *'' Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *'' Lecture Notes in Physics'' *'' Lecture Notes in Mathematics'' *'' Electronic Workshops in Computing'', published by the British Computer Society image:Maurice Vincent Wilkes 1980 (3).jpg, Sir Maurice Wilkes served as the first President of BCS in 1957. The British Computer Society (BCS), branded BCS, The Chartered Institute for IT, since 2009, is a professional body and a learned ... References External links * Academic journals established in 1973 Computer science books Series of non-fiction books ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Abstraction (computer Science)
In software engineering and computer science, abstraction is the process of generalizing concrete details, such as attributes, away from the study of objects and systems to focus attention on details of greater importance. Abstraction is a fundamental concept in computer science and software engineering, especially within the object-oriented programming paradigm. Examples of this include: * the usage of abstract data types to separate usage from working representations of data within programs; * the concept of functions or subroutines which represent a specific way of implementing control flow; * the process of reorganizing common behavior from groups of non-abstract classes into abstract classes using inheritance and sub-classes, as seen in object-oriented programming languages. Rationale Computing mostly operates independently of the concrete world. The hardware implements a model of computation that is interchangeable with others. The software is structured in archit ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fuzzy Set Theory
Fuzzy or Fuzzies may refer to: Music * Fuzzy (band), a 1990s Boston indie pop band * Fuzzy (composer), Danish composer Jens Vilhelm Pedersen (born 1939) * ''Fuzzy'' (album), 1993 debut album of American rock band Grant Lee Buffalo * "Fuzzy", a song from the 2009 '' Collective Soul'' album by Collective Soul * "Fuzzy", a song from '' Poppy.Computer'', the debut 2017 album by Poppy * Fuzzy, an Australian events company that organises Listen Out, a multi-city Australian music festival Nickname * Faustina Agolley (born 1984), Australian television presenter, host of the Australian television show ''Video Hits'' * Fuzzy Haskins (1941–2023), American singer and guitarist with the doo-wop group Parliament-Funkadelic * Fuzzy Hufft (1901−1973), American baseball player * Fuzzy Knight (1901−1976), American actor * Andrew Levane (1920−2012), American National Basketball Association player and coach * Robert Alfred Theobald (1884−1957), United States Navy rear admiral * Fuz ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fuzzy Logic
Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept of partial truth, where the truth value may range between completely true and completely false. By contrast, in Boolean algebra, Boolean logic, the truth values of variables may only be the integer values 0 or 1. The term ''fuzzy logic'' was introduced with the 1965 proposal of fuzzy set theory by mathematician Lotfi A. Zadeh, Lotfi Zadeh. Fuzzy logic had, however, been studied since the 1920s, as Łukasiewicz logic, infinite-valued logic—notably by Jan Łukasiewicz, Łukasiewicz and Alfred Tarski, Tarski. Fuzzy logic is based on the observation that people make decisions based on imprecise and non-numerical information. Fuzzy models or fuzzy sets are mathematical means of representing vagueness and imprecise information (hence the term fuzzy). These models have the capability of recognising, representing, manipulating, in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of California
The University of California (UC) is a public university, public Land-grant university, land-grant research university, research university system in the U.S. state of California. Headquartered in Oakland, California, Oakland, the system is composed of its ten campuses at University of California, Berkeley, Berkeley, University of California, Davis, Davis, University of California, Irvine, Irvine, University of California, Los Angeles, Los Angeles, University of California, Merced, Merced, University of California, Riverside, Riverside, University of California, San Diego, San Diego, University of California, San Francisco, San Francisco, University of California, Santa Barbara, Santa Barbara, and University of California, Santa Cruz, Santa Cruz, along with numerous research centers and academic centers abroad. The system is the state's land-grant university. In 1900, UC was one of the founders of the Association of American Universities and since the 1970s seven of its campuse ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |