×

Goguen, Joseph Amadee

Compute Distance To:
Author ID: goguen.joseph-amadee Recent zbMATH articles by "Goguen, Joseph Amadee"
Published as: Goguen, Joseph A.; Goguen, J. A.; Goguen, Joseph; Goguen, Joseph A. jun.; Goguen, J. A. jun.; Goguen, J.
Documents Indexed: 88 Publications since 1967, including 3 Books
1 Further Contribution
Biographic References: 4 Publications
Co-Authors: 28 Co-Authors with 58 Joint Publications
503 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

79 Publications have been cited 2,684 times in 1,866 Documents Cited by Year
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
815
1967
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
202
1992
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
195
1969
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
194
1977
The fuzzy Tychonoff theorem. Zbl 0278.54003
Goguen, J. A.
123
1973
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
101
1992
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
62
1980
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
50
1985
Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055
Goguen, Joseph A. jun.
47
1974
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
46
2002
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
41
1982
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
39
1984
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
38
1982
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
36
2000
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
34
1985
Minimal realization of machines in closed categories. Zbl 0277.18003
Goguen, J. A.
29
1972
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
26
1984
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
26
1991
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
1991
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
25
2012
How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043
Goguen, J. A.
23
1980
Realization is universal. Zbl 0248.18015
Goguen, J. A.
23
1973
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
22
1993
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
22
1994
Categories of V-sets. Zbl 0177.02401
Goguen, J. A.
20
1969
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
19
1994
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
18
1989
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
18
1982
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
18
1976
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
16
1996
Types as theories. Zbl 0792.68100
Goguen, Joseph A.
16
1991
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
15
1986
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
15
1987
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
15
1999
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
15
1978
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
14
1984
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
14
2004
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
13
1985
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065
Goguen, J. A.; Burstall, R. M.
12
1984
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010
Goguen, J. A. jun.
12
1974
Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005
Goguen, Joseph A.
10
1992
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
10
1975
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1975
Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1976
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
9
1988
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066
Goguen, J. A.; Burstall, R. M.
9
1984
Semantics of computation. Zbl 0306.68028
Goguen, J. A.
9
1975
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
9
2005
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
7
2000
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
2000
Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019
Goguen, J. A.; Meseguer, J.
6
1983
Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014
Goguen, Joseph A.; Parsaye-Ghomi, Kamran
6
1981
Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121
Goguen, Joseph A.; Lin, Kai; Roşu, Grigore
6
2003
Objects. Zbl 0336.18001
Goguen, Joseph A.
5
1974
Correctness of recursive flow diagram programs. Zbl 0354.68028
Goguen, J. A.; Meseguer, J.
5
1977
Remarks on remarks on many-sorted equational logic. Zbl 1023.68630
Goguen, Joseph A.; Meseguer, José
5
1986
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
4
2002
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Correctness and equivalence of data types. Zbl 0387.68013
Goguen, J. A.
4
1976
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
Data, schema, ontology and logic integration. Zbl 1094.68018
Goguen, Joseph A.
4
2005
One, none, a hundred thousand specification languages. Zbl 0606.68010
Goguen, Joseph A.
3
1986
Memories of ADJ. Zbl 0709.68027
Goguen, Joseph A.
3
1989
Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
3
1992
What is a concept? Zbl 1132.68059
Goguen, Joseph
3
2005
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
On fuzzy robot planning. Zbl 0341.68062
Goguen, J. A.
3
1975
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
2
1998
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
2
1987
Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021
Goguen, Joseph A.
2
1988
Specifying, programming and verifying with equational logic. Zbl 1221.68155
Goguen, Joseph; Lin, Kai
2
2005
The correctness problem in computer science. Zbl 0476.68009
2
1981
System theory concepts in computer science. Zbl 0362.68029
Goguen, J. A.
2
1973
Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
1
1987
FUNNEL: A CHDL with formal semantics. Zbl 0794.68020
Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N.
1
1992
A categorical approach to general systems. Zbl 0409.93002
Ginali, Susanna; Goguen, Joseph
1
1978
Axioms for discrimination information. Zbl 0315.94020
Goguen, J. A.; Carlson, L. A.
1
1975
Web-based support for cooperative software engineering. Zbl 0985.68586
Goguen, Joseph A.; Lin, Kai
1
2001
Introducing institutions. Zbl 1288.03001
Goguen, J. A.; Burstall, R. M.
25
2012
What is a logic? In memoriam Joseph Goguen. 2nd revised ed. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
9
2005
Data, schema, ontology and logic integration. Zbl 1094.68018
Goguen, Joseph A.
4
2005
What is a concept? Zbl 1132.68059
Goguen, Joseph
3
2005
Specifying, programming and verifying with equational logic. Zbl 1221.68155
Goguen, Joseph; Lin, Kai
2
2005
Composing hidden information modules over inclusive institutions. Zbl 1278.68203
Goguen, Joseph; Rosu, Grigore
14
2004
Conditional circular coinductive rewriting with case analysis. Zbl 1278.68121
Goguen, Joseph A.; Lin, Kai; Roşu, Grigore
6
2003
Institution morphisms. Zbl 1001.68019
Goguen, Joseph; Roşu, Grigore
46
2002
A hidden Herbrand theorem: Combining the object and logic paradigms. Zbl 1012.03041
Goguen, Joseph; Malcolm, Grant; Kemp, Tom
4
2002
Web-based support for cooperative software engineering. Zbl 0985.68586
Goguen, Joseph A.; Lin, Kai
1
2001
A hidden agenda. Zbl 0946.68070
Goguen, Joseph A.; Malcolm, Grant
36
2000
Hidden congruent deduction. Zbl 0964.68083
Roşu, Grigore; Goguen, Joseph
7
2000
Behavioral and coinductive rewriting. Zbl 0962.68078
Goguen, Joseph; Lin, Kai; Rosu, Grigore
7
2000
On equational Craig interpolation. Zbl 0962.03026
Rosu, Grigore; Goguen, Joseph
4
2000
Hiding more of hidden algebra. Zbl 0953.68094
Goguen, Joseph; Roşu, Grigore
15
1999
Hidden coinduction: Behavioural correctness proofs for objects. Zbl 0931.68067
Goguen, Joseph A.; Malcolm, Grant
12
1999
A hidden Herbrand theorem. Zbl 0926.03034
Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom
2
1998
Algebraic semantics of imperative programs. Zbl 0887.68066
Goguen, Joseph A.; Malcolm, Grant
16
1996
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
22
1994
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
19
1994
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Zbl 0796.68144
Meseguer, José; Goguen, Joseph A.
22
1993
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
202
1992
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Zbl 0778.68056
Goguen, Joseph A.; Meseguer, José
101
1992
Sheaf-semantics for concurrent interacting objects. Zbl 0763.18005
Goguen, Joseph A.
10
1992
Final algebras, cosemicomputable algebras and degrees of unsolvability. Zbl 0768.68093
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
3
1992
FUNNEL: A CHDL with formal semantics. Zbl 0794.68020
Stavridou, V.; Goguen, J. A.; Eker, S. M.; Aloneftis, S. N.
1
1992
A categorical manifesto. Zbl 0747.18001
Goguen, Joseph A.
26
1991
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories. Zbl 0755.18004
Tarlecki, Andrzej; Burstall, Rod M.; Goguen, Joseph A.
25
1991
Types as theories. Zbl 0792.68100
Goguen, Joseph A.
16
1991
Order-sorted unification. Zbl 0691.03002
Meseguer, José; Goguen, Joseph A.; Smolka, Gert
18
1989
Memories of ADJ. Zbl 0709.68027
Goguen, Joseph A.
3
1989
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
9
1988
Modular algebraic specification of some basic geometrical constructions. Zbl 0664.68021
Goguen, Joseph A.
2
1988
Models and equality for logical programming. Zbl 0626.68032
Goguen, Joseph A.; Meseguer, José
15
1987
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
2
1987
Final algebras, cosemicomputable algebras, and degrees of unsolvability. Zbl 0639.68026
Moss, Lawrence S.; Meseguer, José; Goguen, Joseph A.
1
1987
A study in the foundations of programming methodology: Specifications, Institutions, Charters and Parchments. Zbl 0615.68002
Goguen, Joseph A.; Burstall, R. M.
15
1986
Remarks on remarks on many-sorted equational logic. Zbl 1023.68630
Goguen, Joseph A.; Meseguer, José
5
1986
One, none, a hundred thousand specification languages. Zbl 0606.68010
Goguen, Joseph A.
3
1986
Initiality, induction, and computability. Zbl 0571.68004
Meseguer, José; Goguen, Joseph A.
50
1985
Completeness of many-sorted equational logic. Zbl 0602.08004
Goguen, J. A.; Meseguer, J.
34
1985
Operational semantics for order-sorted algebra. Zbl 0591.68041
Goguen, Joseph A.; Jouannaud, Jean-Pierre; Meseguer, José
13
1985
Introducing institutions. Zbl 0543.68021
Goguen, J. A.; Burstall, R. M.
39
1984
Equality, types, modules, and (why not?) generics for logic programming. Zbl 0575.68091
Goguen, Joseph A.; Meseguer, José
26
1984
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
14
1984
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories. Zbl 0566.68065
Goguen, J. A.; Burstall, R. M.
12
1984
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories. Zbl 0566.68066
Goguen, J. A.; Burstall, R. M.
9
1984
Correctness of recursive parallel nondeterministic flow programs. Zbl 0532.68019
Goguen, J. A.; Meseguer, J.
6
1983
Universal realization, persistent interconnection and implementation of abstract modules. Zbl 0493.68014
Goguen, J.; Meseguer, J.
41
1982
Completeness of many-sorted equational logic. Zbl 0498.03018
Goguen, J. A.; Meseguer, J.
38
1982
Algebras, theories and freeness: An introduction for computer scientists. Zbl 0518.68009
Burstall, R. M.; Goguen, J. A.
18
1982
Algebraic denotational semantics using parameterized abstract modules. Zbl 0467.68014
Goguen, Joseph A.; Parsaye-Ghomi, Kamran
6
1981
The correctness problem in computer science. Zbl 0476.68009
2
1981
The semantics of Clear, a specification language. Zbl 0456.68024
Burstall, R. M.; Goguen, J. A.
62
1980
How to prove algebraic inductive hypotheses without induction, with applications to the correctness of data type implementation. Zbl 0438.68043
Goguen, J. A.
23
1980
Systems and distinctions; duality and complementarity. Zbl 0403.93003
Goguen, Joseph A.; Varela, Francisco J.
3
1979
Abstract errors for abstract data types. Zbl 0373.68024
Goguen, Joseph A.
15
1978
A categorical approach to general systems. Zbl 0409.93002
Ginali, Susanna; Goguen, Joseph
1
1978
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
194
1977
Correctness of recursive flow diagram programs. Zbl 0354.68028
Goguen, J. A.; Meseguer, J.
5
1977
Some fundamentals of order-algebraic semantics. Zbl 0361.68041
Wagner, E. G.; Wright, J. B.; Goguen, J. A.; Thatcher, J. W.
18
1976
Parallel realization of systems, using factorizations and quotients in categories. Zbl 0333.93002
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1976
Correctness and equivalence of data types. Zbl 0387.68013
Goguen, J. A.
4
1976
Discrete-time machines in closed monoidal categories. I. Zbl 0303.18002
Goguen, J. A.
10
1975
Factorizations, congruences, and the decomposition of automata and systems. Zbl 0306.18005
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
10
1975
Semantics of computation. Zbl 0306.68028
Goguen, J. A.
9
1975
On fuzzy robot planning. Zbl 0341.68062
Goguen, J. A.
3
1975
Axioms for discrimination information. Zbl 0315.94020
Goguen, J. A.; Carlson, L. A.
1
1975
Concept representation in natural and artificial languages: axioms, extensions and applications for fuzzy sets. Zbl 0321.68055
Goguen, Joseph A. jun.
47
1974
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. Zbl 0285.68010
Goguen, J. A. jun.
12
1974
Objects. Zbl 0336.18001
Goguen, Joseph A.
5
1974
The fuzzy Tychonoff theorem. Zbl 0278.54003
Goguen, J. A.
123
1973
Realization is universal. Zbl 0248.18015
Goguen, J. A.
23
1973
System theory concepts in computer science. Zbl 0362.68029
Goguen, J. A.
2
1973
Minimal realization of machines in closed categories. Zbl 0277.18003
Goguen, J. A.
29
1972
The logic of inexact concepts. Zbl 0184.00903
Goguen, J. A.
195
1969
Categories of V-sets. Zbl 0177.02401
Goguen, J. A.
20
1969
L-fuzzy sets. Zbl 0145.24404
Goguen, J. A.
815
1967
all top 5

Cited by 1,739 Authors

55 Meseguer Guaita, José
31 Diaconescu, Răzvan
28 Bělohlávek, Radim
24 Kerre, Etienne E.
23 Deschrijver, Glad
22 Tarlecki, Andrzej
22 Tepavčević, Andreja
22 Vychodil, Vilém
21 Goguen, Joseph Amadee
21 Solovyov, Sergey A.
20 Höhle, Ulrich
20 Mossakowski, Till
20 Šešelja, Branimir
18 Gerla, Giangiacomo
18 Hennicker, Rolf
17 Roşu, Grigore
16 Sannella, Donald T.
16 Šostak, Alexander P.
15 Prade, Henri M.
14 Courcelle, Bruno
14 Dubois, Didier
14 Ehrig, Hartmut
13 Rabe, Florian
13 Rodabaugh, Stephen Ernest
12 Bayoumi, Fatma
12 Ésik, Zoltán
12 Hu, Baoqing
12 Mesiar, Radko
12 Voutsadakis, George
11 Fang, Jinming
11 Gottwald, Siegfried
11 Kramosil, Ivan
11 Orejas, Fernando
10 Bustince, Humberto
10 Durán, Francisco
10 Escobar, Santiago
10 Futatsugi, Kokichi
10 Lucanu, Dorel
10 Lucas, Salvador
10 Madeira, Alexandre
10 Martins, Manuel António
10 Pedrycz, Witold
10 Shi, Fu-Gui
10 Wirsing, Martin
10 Zadeh, Lotfi Asker
9 Aiguier, Marc
9 Bidoit, Michel
9 Corradini, Andrea
9 Di Nola, Antonio
9 Gallier, Jean H.
9 Novák, Vilém
9 Ojeda-Aciego, Manuel
9 Saadati, Reza
9 Tiwari, S. P.
9 Xu, Yang
9 Yao, Wei
8 Gaĭnă, Daniel
8 Manes, Ernest G.
8 Martí-Oliet, Narciso
8 Ogata, Kazuhiro
8 Wagner, Eric G.
8 Zhao, Bin
7 Arbib, Michael A.
7 Bedregal, Benjamín René Callejas
7 Bloom, Stephen L.
7 Clavel, Manuel
7 De Baets, Bernard
7 Drewniak, Józef
7 Eklund, Patrik E.
7 Gähler, Werner
7 Gil, María Angeles
7 Guido, Cosimo
7 Kirchner, Hélène
7 Kortelainen, Jari
7 Kubiak, Tomasz
7 Lowen, Robert
7 Maibaum, Thomas Stephen Edward
7 Parisi-Presicce, Francesco
7 Ramadan, Ahmed Abd El-Kader
7 Stout, Lawrence Neff
7 Vogler, Heiko
7 Wang, Chunyong
6 Alpuente, María
6 Barrenechea, Edurne
6 Bloch, Isabelle
6 Brown, Lawrence Michael
6 Codescu, Mihai
6 Cornelis, Chris
6 Gil, Pedro A.
6 Katsaras, Athanasios K.
6 Kawahara, Yasuo
6 Knapp, Alexander
6 Li, Qingguo
6 Liu, Jun
6 Medina, Jesús
6 Padawitz, Peter
6 Roggenbach, Markus
6 Rutten, Jan J. M. M.
6 Sessa, Salvatore
6 Srivastava, Arun Kamar
...and 1,639 more Authors
all top 5

Cited in 187 Serials

430 Fuzzy Sets and Systems
210 Theoretical Computer Science
100 Information Sciences
61 Journal of Mathematical Analysis and Applications
47 Journal of Computer and System Sciences
37 International Journal of General Systems
36 International Journal of Approximate Reasoning
29 Information and Computation
29 Soft Computing
27 Acta Informatica
23 MSCS. Mathematical Structures in Computer Science
23 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
23 Journal of Intelligent and Fuzzy Systems
20 Journal of Symbolic Computation
19 Studia Logica
19 Formal Aspects of Computing
19 Journal of Logical and Algebraic Methods in Programming
17 Computers & Mathematics with Applications
17 Information Processing Letters
17 Iranian Journal of Fuzzy Systems
14 Annals of Mathematics and Artificial Intelligence
13 Synthese
12 Artificial Intelligence
12 Kybernetika
12 Journal of Automated Reasoning
12 The Journal of Logic and Algebraic Programming
12 Logica Universalis
10 Cybernetics and Systems Analysis
9 Chaos, Solitons and Fractals
9 New Mathematics and Natural Computation
8 Journal of the Egyptian Mathematical Society
8 Filomat
7 Mathematical Systems Theory
7 Quaestiones Mathematicae
7 Archive for Mathematical Logic
7 Mathematical Logic Quarterly (MLQ)
7 Journal of Applied Mathematics and Computing
7 Korean Journal of Mathematics
6 Algebra Universalis
6 Journal of Pure and Applied Algebra
6 Kybernetes
6 International Journal of Intelligent Systems
5 Czechoslovak Mathematical Journal
5 International Journal of Mathematics and Mathematical Sciences
5 The Journal of Symbolic Logic
5 RAIRO, Informatique Théorique
5 Annals of Pure and Applied Logic
5 Journal of Computer Science and Technology
5 International Journal of Computer Mathematics
5 Journal of Functional Programming
5 RAIRO. Theoretical Informatics and Applications
5 Fuzzy Optimization and Decision Making
4 Applied Mathematics and Computation
4 Manuscripta Mathematica
4 Cybernetics and Systems
4 European Journal of Operational Research
4 Applied Categorical Structures
4 Journal of Applied Non-Classical Logics
4 Diagrammes
4 Journal of Applied Logic
4 Logical Methods in Computer Science
4 Advances in Fuzzy Systems
4 Fuzzy Information and Engineering
4 Journal of Mathematics
3 International Journal of Theoretical Physics
3 Mathematica Slovaca
3 Theory and Decision
3 Topology and its Applications
3 International Journal of Foundations of Computer Science
3 Linear Algebra and its Applications
3 Russian Journal of Mathematical Physics
3 Computational and Applied Mathematics
3 Journal of Inequalities and Applications
3 Thai Journal of Mathematics
3 Fixed Point Theory and Applications
3 Axioms
2 Bulletin of the Australian Mathematical Society
2 Aplikace Matematiky
2 Automatica
2 BIT
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 International Journal of Computer & Information Sciences
2 Journal of Philosophical Logic
2 Notre Dame Journal of Formal Logic
2 Rendiconti del Circolo Matemàtico di Palermo. Serie II
2 Trabajos de Estadistica y de Investigacion Operativa
2 Mathematical Social Sciences
2 International Journal of Production Research
2 Social Choice and Welfare
2 Order
2 RAIRO. Informatique Théorique et Applications
2 Formal Methods in System Design
2 Journal of Mathematical Sciences (New York)
2 Logic and Logical Philosophy
2 Journal of Applied Mathematics
2 South East Asian Journal of Mathematics and Mathematical Sciences
2 ACM Transactions on Computational Logic
2 Bulletin of the American Mathematical Society
2 Mathematics in Computer Science
2 Science China. Information Sciences
...and 87 more Serials
all top 5

Cited in 46 Fields

890 Computer science (68-XX)
809 Mathematical logic and foundations (03-XX)
263 General topology (54-XX)
231 Category theory; homological algebra (18-XX)
199 Order, lattices, ordered algebraic structures (06-XX)
102 General algebraic systems (08-XX)
102 Information and communication theory, circuits (94-XX)
45 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
42 Systems theory; control (93-XX)
32 Group theory and generalizations (20-XX)
26 Associative rings and algebras (16-XX)
23 Measure and integration (28-XX)
23 Statistics (62-XX)
23 Operations research, mathematical programming (90-XX)
20 Combinatorics (05-XX)
17 Functional analysis (46-XX)
17 Probability theory and stochastic processes (60-XX)
16 Linear and multilinear algebra; matrix theory (15-XX)
13 History and biography (01-XX)
11 Commutative algebra (13-XX)
10 Real functions (26-XX)
9 Biology and other natural sciences (92-XX)
8 Topological groups, Lie groups (22-XX)
7 Quantum theory (81-XX)
6 Difference and functional equations (39-XX)
6 Operator theory (47-XX)
5 General and overarching topics; collections (00-XX)
5 Ordinary differential equations (34-XX)
5 Numerical analysis (65-XX)
3 Partial differential equations (35-XX)
3 Approximations and expansions (41-XX)
2 Number theory (11-XX)
2 Sequences, series, summability (40-XX)
2 Integral equations (45-XX)
2 Algebraic topology (55-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Geometry (51-XX)
1 Convex and discrete geometry (52-XX)
1 Fluid mechanics (76-XX)
1 Optics, electromagnetic theory (78-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Geophysics (86-XX)
1 Mathematics education (97-XX)

Citations by Year