×

zbMATH — the first resource for mathematics

Cignoli, Roberto

Compute Distance To:
Author ID: cignoli.roberto Recent zbMATH articles by "Cignoli, Roberto"
Published as: Cignoli, R.; Cignoli, Roberto; Cignoli, Roberto L. O.
External Links: MGP
Documents Indexed: 79 Publications since 1965, including 6 Books

Publications by Year

Citations contained in zbMATH

65 Publications have been cited 1,089 times in 808 Documents Cited by Year
Algebraic foundations of many-valued reasoning. Zbl 0937.06009
Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele
442
2000
An algebraic analysis of product logic. Zbl 0962.03059
Cignoli, Roberto; Torrens, Antoni
36
2000
Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\). Zbl 1115.06006
Cignoli, Roberto; Torrens Torrell, Antoni
30
2006
The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Zbl 0621.06009
Cignoli, Roberto
29
1986
Glivenko like theorems in natural expansions of BCK-logic. Zbl 1045.03026
Cignoli, Roberto; Torrens Torrell, Antoni
27
2004
On a class of left-continuous \(\text t\)-norms. Zbl 1012.03032
Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Montagna, Franco
26
2002
Extending Stone duality to multisets and locally finite MV-algebras. Zbl 1055.06004
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
25
2004
Quantifiers on distributive lattices. Zbl 0753.06012
Cignoli, Roberto
25
1991
An introduction to functional analysis. Translated by A. Torchinsky and A. Gonzalez Villalobos. Revised ed. Zbl 0277.46001
Cotlar, Mischa; Cignoli, Roberto
23
1974
An algebraic approach to intuitionistic connectives. Zbl 0994.03024
Caicedo, Xavier; Cignoli, Roberto
21
2001
Constructive logic with strong negation as a substructural logic. Zbl 1205.03040
Busaniche, Manuela; Cignoli, Roberto
20
2010
Moisil algebras. Zbl 0212.31701
Cignoli, R.
20
1970
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Zbl 1025.03018
Cignoli, Roberto; Torrens, Antoni
18
2003
Remarks on Priestley duality for distributive lattices. Zbl 0754.06006
Cignoli, R.; Lafalce, S.; Petrovich, A.
18
1991
Injective De Morgan and Kleene algebras. Zbl 0301.06009
Cignoli, Roberto
17
1975
On product logic with truth-constants. Zbl 1102.03030
Savický, Petr; Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Noguera, Carles
16
2006
Boolean elements in Lukasiewicz algebras. I. Zbl 0168.00601
Cignoli, R.
15
1965
Free algebras in varieties of BL-algebras with a Boolean retract. Zbl 1058.03077
Cignoli, Roberto; Torrens, Antoni
14
2002
Complete and atomic algebras of the infinite valued Łukasiewicz logic. Zbl 0753.03026
Cignoli, Roberto
14
1991
Boolean products of MV-algebras: hypernormal MV-algebras. Zbl 0849.06012
Cignoli, Roberto; Torrens Torrell, Antoni
13
1996
The lattice of global sections of sheaves of chains over Boolean spaces. Zbl 0395.06006
Cignoli, Roberto
13
1978
Reconstructing \(C^*\)-algebras from their Murray von Neumann orders. Zbl 0823.46053
Cignoli, Roberto; Elliott, George A.; Mundici, Daniele
12
1993
Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi. Zbl 0509.03012
Cignoli, Roberto
12
1982
Boolean elements in Lukasiewicz algebras. II. Zbl 0168.00602
Cignoli, R.; Monteiro, A.
12
1965
The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit. Zbl 0858.06008
Cignoli, Roberto; Torrens, Antoni
11
1996
Residuated lattices as an algebraic semantics for paraconsistent Nelson’s logic. Zbl 1191.03045
Busaniche, Manuela; Cignoli, Roberto
10
2009
Commutative integral bounded residuated lattices with an added involution. Zbl 1181.03061
Cignoli, Roberto; Esteva, Francesc
10
2009
Free cancellative hoops. Zbl 1012.06015
Cignoli, Roberto; Torrens, Antoni
10
2000
An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz. Zbl 0876.03011
Cignoli, Roberto; Mundici, Daniele
10
1997
Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term. Zbl 1272.03162
Cignoli, Roberto; Torrens, Antoni
9
2012
Prime spectra of lattice-ordered abelian groups. Zbl 0923.06010
Cignoli, R.; Gluschankof, D.; Lucas, F.
9
1999
Stone duality for real-valued multisets. Zbl 1273.06006
Cignoli, Roberto; Marra, Vincenzo
8
2012
Free algebras in varieties of Stonean residuated lattices. Zbl 1142.06003
Cignoli, Roberto
8
2008
An invitation to Chang’s MV algebras. Zbl 0935.06010
Cignoli, Roberto; Mundici, Daniele
8
1997
Standard completeness of Hájek basic logic and decompositions of BL-chains. Zbl 1094.03013
Cignoli, R.; Torrens, A.
6
2005
An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit. Zbl 0964.06009
Cignoli, Roberto; Mundici, Daniele
6
1998
The lattice structure of some Lukasiewicz algebras. Zbl 0495.03045
Cignoli, R.; de Gallego, M. S.
6
1981
Representation of Lukasiewicz and Post algebras by continuous functions. Zbl 0246.02043
Cignoli, Roberto
6
1972
Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit. Zbl 1108.06011
Cignoli, Roberto; Mundici, Daniele
5
2006
Free algebras in varieties of BL-algebras generated by a \(\text{BL}_n\)-chain. Zbl 1094.03058
Busaniche, Manuela; Cignoli, Roberto
5
2006
Priestley duality and quotient lattices of many-valued algebras. Zbl 0787.06013
Cignoli, R.; Di Nola, A.; Lettieri, A.
5
1991
Free lattice-ordered abelian groups and varieties of MV-algebras. Zbl 0827.06012
Cignoli, Roberto
4
1993
Distributive lattice congruences and Priestley spaces. Zbl 0790.06010
Cignoli, Roberto
4
1991
An algebraic approach to elementary theories based on n-valued Łukasiewicz logics. Zbl 0551.03037
Cignoli, Roberto
4
1984
Dualities for some De Morgan algebras with operators and Lukasiewicz algebras. Zbl 0523.06019
Cignoli, Roberto; De Gallego, Marta S.
4
1983
Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras. Zbl 0432.03038
Cignoli, Roberto
4
1979
Boolean multiplicative closures. I, II. Zbl 0149.25703
Cignoli, R.
4
1966
The algebras of Łukasiewicz many-valued logic: A historical overview. Zbl 1122.03001
Cignoli, Roberto
3
2007
An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. Zbl 1064.06006
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
3
2003
Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019
Cignoli, Roberto; Mundici, Daniele
3
2001
Free \(Q\)-distributive lattices. Zbl 0844.06005
Cignoli, Roberto
3
1996
Retractive MV-algebras. Zbl 0857.06006
Cignoli, Roberto; Torrens, Antoni
3
1995
Stone filters and ideals in distributive lattices. Zbl 0259.06005
Cignoli, Roberto
3
1972
A categorical equivalence for Stonean residuated lattices. Zbl 07067985
Busaniche, Manuela; Cignoli, Roberto; Marcos, Miguel Andrés
2
2019
The subvariety of commutative residuated lattices represented by twist-products. Zbl 1303.03092
Busaniche, Manuela; Cignoli, Roberto
2
2014
Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro. Zbl 1112.06013
Cignoli, Roberto; Monteiro, Luiz
2
2006
Free Stone algebras. Zbl 0982.06010
Cignoli, Roberto; Torrens, Antoni
2
2000
Some algebraic aspects of many-valued logics. Zbl 0455.06005
Cignoli, Roberto
2
1980
Erratum to: “Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)”. Zbl 1403.06014
Cignoli, Roberto; Torrens, Antoni
1
2017
Free MV\(_n\)-algebras. Zbl 1159.06008
Busaniche, Manuela; Cignoli, Roberto
1
2008
Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. Zbl 1161.06005
Cignoli, Roberto; Mundici, Daniele; Navara, Mirko
1
2006
A note on the axiomatization of equational classes of n-valued Łukasiewicz algebras. Zbl 0701.06012
Adams, M. E.; Cignoli, R.
1
1990
Deductive systems and congruence relations in ortholattices. Zbl 0394.03056
Cignoli, Roberto
1
1978
Functions with arbitrarily small periods. Zbl 0379.28002
Cignoli, R.; Hounie, J.
1
1978
A Hahn-Banach theorem for distributive lattices. Zbl 0309.06006
Cignoli, Roberto
1
1971
A categorical equivalence for Stonean residuated lattices. Zbl 07067985
Busaniche, Manuela; Cignoli, Roberto; Marcos, Miguel Andrés
2
2019
Erratum to: “Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)”. Zbl 1403.06014
Cignoli, Roberto; Torrens, Antoni
1
2017
The subvariety of commutative residuated lattices represented by twist-products. Zbl 1303.03092
Busaniche, Manuela; Cignoli, Roberto
2
2014
Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term. Zbl 1272.03162
Cignoli, Roberto; Torrens, Antoni
9
2012
Stone duality for real-valued multisets. Zbl 1273.06006
Cignoli, Roberto; Marra, Vincenzo
8
2012
Constructive logic with strong negation as a substructural logic. Zbl 1205.03040
Busaniche, Manuela; Cignoli, Roberto
20
2010
Residuated lattices as an algebraic semantics for paraconsistent Nelson’s logic. Zbl 1191.03045
Busaniche, Manuela; Cignoli, Roberto
10
2009
Commutative integral bounded residuated lattices with an added involution. Zbl 1181.03061
Cignoli, Roberto; Esteva, Francesc
10
2009
Free algebras in varieties of Stonean residuated lattices. Zbl 1142.06003
Cignoli, Roberto
8
2008
Free MV\(_n\)-algebras. Zbl 1159.06008
Busaniche, Manuela; Cignoli, Roberto
1
2008
The algebras of Łukasiewicz many-valued logic: A historical overview. Zbl 1122.03001
Cignoli, Roberto
3
2007
Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\). Zbl 1115.06006
Cignoli, Roberto; Torrens Torrell, Antoni
30
2006
On product logic with truth-constants. Zbl 1102.03030
Savický, Petr; Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Noguera, Carles
16
2006
Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit. Zbl 1108.06011
Cignoli, Roberto; Mundici, Daniele
5
2006
Free algebras in varieties of BL-algebras generated by a \(\text{BL}_n\)-chain. Zbl 1094.03058
Busaniche, Manuela; Cignoli, Roberto
5
2006
Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro. Zbl 1112.06013
Cignoli, Roberto; Monteiro, Luiz
2
2006
Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. Zbl 1161.06005
Cignoli, Roberto; Mundici, Daniele; Navara, Mirko
1
2006
Standard completeness of Hájek basic logic and decompositions of BL-chains. Zbl 1094.03013
Cignoli, R.; Torrens, A.
6
2005
Glivenko like theorems in natural expansions of BCK-logic. Zbl 1045.03026
Cignoli, Roberto; Torrens Torrell, Antoni
27
2004
Extending Stone duality to multisets and locally finite MV-algebras. Zbl 1055.06004
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
25
2004
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Zbl 1025.03018
Cignoli, Roberto; Torrens, Antoni
18
2003
An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. Zbl 1064.06006
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele
3
2003
On a class of left-continuous \(\text t\)-norms. Zbl 1012.03032
Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Montagna, Franco
26
2002
Free algebras in varieties of BL-algebras with a Boolean retract. Zbl 1058.03077
Cignoli, Roberto; Torrens, Antoni
14
2002
An algebraic approach to intuitionistic connectives. Zbl 0994.03024
Caicedo, Xavier; Cignoli, Roberto
21
2001
Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. Zbl 1020.03019
Cignoli, Roberto; Mundici, Daniele
3
2001
Algebraic foundations of many-valued reasoning. Zbl 0937.06009
Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele
442
2000
An algebraic analysis of product logic. Zbl 0962.03059
Cignoli, Roberto; Torrens, Antoni
36
2000
Free cancellative hoops. Zbl 1012.06015
Cignoli, Roberto; Torrens, Antoni
10
2000
Free Stone algebras. Zbl 0982.06010
Cignoli, Roberto; Torrens, Antoni
2
2000
Prime spectra of lattice-ordered abelian groups. Zbl 0923.06010
Cignoli, R.; Gluschankof, D.; Lucas, F.
9
1999
An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit. Zbl 0964.06009
Cignoli, Roberto; Mundici, Daniele
6
1998
An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz. Zbl 0876.03011
Cignoli, Roberto; Mundici, Daniele
10
1997
An invitation to Chang’s MV algebras. Zbl 0935.06010
Cignoli, Roberto; Mundici, Daniele
8
1997
Boolean products of MV-algebras: hypernormal MV-algebras. Zbl 0849.06012
Cignoli, Roberto; Torrens Torrell, Antoni
13
1996
The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit. Zbl 0858.06008
Cignoli, Roberto; Torrens, Antoni
11
1996
Free \(Q\)-distributive lattices. Zbl 0844.06005
Cignoli, Roberto
3
1996
Retractive MV-algebras. Zbl 0857.06006
Cignoli, Roberto; Torrens, Antoni
3
1995
Reconstructing \(C^*\)-algebras from their Murray von Neumann orders. Zbl 0823.46053
Cignoli, Roberto; Elliott, George A.; Mundici, Daniele
12
1993
Free lattice-ordered abelian groups and varieties of MV-algebras. Zbl 0827.06012
Cignoli, Roberto
4
1993
Quantifiers on distributive lattices. Zbl 0753.06012
Cignoli, Roberto
25
1991
Remarks on Priestley duality for distributive lattices. Zbl 0754.06006
Cignoli, R.; Lafalce, S.; Petrovich, A.
18
1991
Complete and atomic algebras of the infinite valued Łukasiewicz logic. Zbl 0753.03026
Cignoli, Roberto
14
1991
Priestley duality and quotient lattices of many-valued algebras. Zbl 0787.06013
Cignoli, R.; Di Nola, A.; Lettieri, A.
5
1991
Distributive lattice congruences and Priestley spaces. Zbl 0790.06010
Cignoli, Roberto
4
1991
A note on the axiomatization of equational classes of n-valued Łukasiewicz algebras. Zbl 0701.06012
Adams, M. E.; Cignoli, R.
1
1990
The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Zbl 0621.06009
Cignoli, Roberto
29
1986
An algebraic approach to elementary theories based on n-valued Łukasiewicz logics. Zbl 0551.03037
Cignoli, Roberto
4
1984
Dualities for some De Morgan algebras with operators and Lukasiewicz algebras. Zbl 0523.06019
Cignoli, Roberto; De Gallego, Marta S.
4
1983
Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi. Zbl 0509.03012
Cignoli, Roberto
12
1982
The lattice structure of some Lukasiewicz algebras. Zbl 0495.03045
Cignoli, R.; de Gallego, M. S.
6
1981
Some algebraic aspects of many-valued logics. Zbl 0455.06005
Cignoli, Roberto
2
1980
Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras. Zbl 0432.03038
Cignoli, Roberto
4
1979
The lattice of global sections of sheaves of chains over Boolean spaces. Zbl 0395.06006
Cignoli, Roberto
13
1978
Deductive systems and congruence relations in ortholattices. Zbl 0394.03056
Cignoli, Roberto
1
1978
Functions with arbitrarily small periods. Zbl 0379.28002
Cignoli, R.; Hounie, J.
1
1978
Injective De Morgan and Kleene algebras. Zbl 0301.06009
Cignoli, Roberto
17
1975
An introduction to functional analysis. Translated by A. Torchinsky and A. Gonzalez Villalobos. Revised ed. Zbl 0277.46001
Cotlar, Mischa; Cignoli, Roberto
23
1974
Representation of Lukasiewicz and Post algebras by continuous functions. Zbl 0246.02043
Cignoli, Roberto
6
1972
Stone filters and ideals in distributive lattices. Zbl 0259.06005
Cignoli, Roberto
3
1972
A Hahn-Banach theorem for distributive lattices. Zbl 0309.06006
Cignoli, Roberto
1
1971
Moisil algebras. Zbl 0212.31701
Cignoli, R.
20
1970
Boolean multiplicative closures. I, II. Zbl 0149.25703
Cignoli, R.
4
1966
Boolean elements in Lukasiewicz algebras. I. Zbl 0168.00601
Cignoli, R.
15
1965
Boolean elements in Lukasiewicz algebras. II. Zbl 0168.00602
Cignoli, R.; Monteiro, A.
12
1965
all top 5

Cited by 561 Authors

47 Dvurečenskij, Anatolij
43 Di Nola, Antonio
32 Montagna, Franco
28 Jakubík, Ján
28 Mundici, Daniele
27 Cignoli, Roberto
21 Chajda, Ivan
21 Flaminio, Tommaso
19 Rachůnek, Jiří
17 Godo, Lluís
16 Esteva, Francesc
15 Kühr, Jan
15 Torrens Torrell, Antoni
14 Lenzi, Giacomo
13 Cabrer, Leonardo Manuel
12 Busaniche, Manuela
12 Georgescu, George
12 Ledda, Antonio
12 Leuştean, Ioana
11 Castiglioni, José Luis
11 Celani, Sergio Arturo
11 Novák, Vilém
11 Pulmannová, Sylvia
10 Belluce, Lawrence Peter
10 Botur, Michal
10 Freytes, Hector
10 Noguera, Carles
10 Paoli, Francesco
10 Rivieccio, Umberto
8 Díaz Varela, José Patricio
8 Gerla, Brunella
8 Gispert, Joan
8 Halaš, Radomír
8 Marra, Vincenzo
8 Navara, Mirko
8 San Martín, Hernán J.
8 San Martín, Hernán Javier
8 Tsinakis, Constantine
7 Cattaneo, Gianpiero
7 Hájek, Petr
7 Lettieri, Ada
7 Marchioni, Enrico
7 Panti, Giovanni
7 Paseka, Jan
7 Sagastume, Marta S.
7 Šalounová, Dana
7 Wang, Guojun
7 Zhou, Hongjun
6 Aguzzoli, Stefano
6 Borumand Saeid, Arsham
6 Castaño, Diego N.
6 Cintula, Petr
6 Giuntini, Roberto
6 Grigolia, Revaz
6 Jenei, Sándor
6 Lapenta, Serafina
6 Nganou, Jean Bernard
6 Radeleczki, Sándor
6 Turunen, Esko
6 Vetterlein, Thomas
6 Zahiri, Omid
5 Bianchi, Matteo
5 Ciucci, Davide
5 Ciungu, Lavinia Corina
5 Dubuc, Eduardo J.
5 Eslami, Esfandiar
5 Forouzesh, Fereshteh
5 Hosni, Hykel
5 Jansana, Ramon
5 Kowalski, Tomasz Marek
5 Kroupa, Tomáš
5 Murinová, Petra
5 Riečan, Beloslav
5 Russo, Ciro
5 Spinks, Matthew
5 Ugolini, Sara
5 Zalik, Richard A.
4 Agliano, Paolo
4 Bova, Simone
4 Fedel, Martina
4 Galatos, Nikolaos
4 Gehrke, Mai
4 Ghorbani, Shokoofeh
4 Hager, Anthony W.
4 Haniková, Zuzana
4 Hofmann, Dirk
4 Järvinen, Jouni
4 Lachman, Dominik
4 Poveda, Yuri A.
4 Rump, Wolfgang
4 Russo, Anna Carla
4 Sergioli, Giuseppe
4 Torrens, Joan
4 Xie, Yongjian
4 Xu, Yang
4 Zhao, Bin
3 Abad, Manuel
3 Berman, Joel D.
3 Bezhanishvili, Guram
3 Buşneag, Dumitru
...and 461 more Authors
all top 5

Cited in 105 Serials

130 Fuzzy Sets and Systems
68 Studia Logica
65 Soft Computing
48 Algebra Universalis
31 Mathematica Slovaca
26 Czechoslovak Mathematical Journal
26 International Journal of Approximate Reasoning
23 Archive for Mathematical Logic
22 Journal of Pure and Applied Algebra
21 Information Sciences
21 Annals of Pure and Applied Logic
18 Journal of Algebra
17 Order
16 Mathematical Logic Quarterly (MLQ)
14 Kybernetika
13 International Journal of Theoretical Physics
12 Discrete Mathematics
11 The Journal of Symbolic Logic
10 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
9 Journal of Mathematical Analysis and Applications
8 Journal of Applied Logic
7 Journal of Applied Non-Classical Logics
6 The Bulletin of Symbolic Logic
6 Central European Journal of Mathematics
5 Communications in Algebra
5 Proceedings of the American Mathematical Society
5 Forum Mathematicum
5 Journal of Intelligent and Fuzzy Systems
4 Applied Categorical Structures
4 Journal of the Australian Mathematical Society
4 Foundations of Physics
4 New Mathematics and Natural Computation
4 Logica Universalis
3 Artificial Intelligence
3 Bulletin of the Australian Mathematical Society
3 International Journal of Mathematics and Mathematical Sciences
3 Journal of Philosophical Logic
3 Theoretical Computer Science
3 International Journal of Algebra and Computation
3 MSCS. Mathematical Structures in Computer Science
3 Journal of Mathematical Sciences (New York)
3 Journal of Multiple-Valued Logic and Soft Computing
3 Iranian Journal of Fuzzy Systems
3 Proceedings of the Japan Academy
3 Asian-European Journal of Mathematics
3 The Review of Symbolic Logic
2 International Journal of General Systems
2 Advances in Mathematics
2 Journal of Approximation Theory
2 Notre Dame Journal of Formal Logic
2 Rendiconti del Circolo Matemàtico di Palermo. Serie II
2 Results in Mathematics
2 Transactions of the American Mathematical Society
2 Bulletin of the Section of Logic
2 Afrika Matematika
1 Computers & Mathematics with Applications
1 Journal of Mathematical Physics
1 Mathematical Biosciences
1 Reports on Mathematical Physics
1 Rocky Mountain Journal of Mathematics
1 Mathematics of Computation
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 Aplikace Matematiky
1 Archiv der Mathematik
1 Demonstratio Mathematica
1 Duke Mathematical Journal
1 Glasgow Mathematical Journal
1 Journal of Computational and Applied Mathematics
1 Journal of Differential Equations
1 Journal of Economic Theory
1 Mathematische Zeitschrift
1 Revista Colombiana de Matemáticas
1 Semigroup Forum
1 Synthese
1 Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete
1 Topology and its Applications
1 Advances in Applied Mathematics
1 Revista Matemática Iberoamericana
1 Journal of Automated Reasoning
1 Journal of Integral Equations and Applications
1 Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni
1 Economics Letters
1 Aequationes Mathematicae
1 Cybernetics and Systems Analysis
1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
1 Opuscula Mathematica
1 Theory and Applications of Categories
1 Discrete and Continuous Dynamical Systems
1 Communications in Contemporary Mathematics
1 Journal of Applied Mathematics
1 Portugaliae Mathematica. Nova Série
1 Advanced Nonlinear Studies
1 Milan Journal of Mathematics
1 Algebra and Discrete Mathematics
1 ACM Transactions on Computational Logic
1 Advances in Mathematical Physics
1 Science China. Mathematics
1 Formalized Mathematics
1 Eurasian Mathematical Journal
...and 5 more Serials
all top 5

Cited in 43 Fields

547 Order, lattices, ordered algebraic structures (06-XX)
514 Mathematical logic and foundations (03-XX)
80 General algebraic systems (08-XX)
52 Computer science (68-XX)
48 Quantum theory (81-XX)
42 Category theory; homological algebra (18-XX)
36 General topology (54-XX)
23 Measure and integration (28-XX)
20 Functional analysis (46-XX)
17 Probability theory and stochastic processes (60-XX)
15 Associative rings and algebras (16-XX)
14 Convex and discrete geometry (52-XX)
12 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
10 Group theory and generalizations (20-XX)
9 Operator theory (47-XX)
8 Commutative algebra (13-XX)
8 Dynamical systems and ergodic theory (37-XX)
6 Real functions (26-XX)
5 Algebraic geometry (14-XX)
5 Functions of a complex variable (30-XX)
5 Approximations and expansions (41-XX)
5 Harmonic analysis on Euclidean spaces (42-XX)
5 Information and communication theory, circuits (94-XX)
4 General and overarching topics; collections (00-XX)
4 History and biography (01-XX)
4 Partial differential equations (35-XX)
4 Manifolds and cell complexes (57-XX)
3 Algebraic topology (55-XX)
3 Statistics (62-XX)
2 Number theory (11-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Integral equations (45-XX)
2 Numerical analysis (65-XX)
2 Operations research, mathematical programming (90-XX)
2 Systems theory; control (93-XX)
1 Combinatorics (05-XX)
1 \(K\)-theory (19-XX)
1 Topological groups, Lie groups (22-XX)
1 Ordinary differential equations (34-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Mechanics of deformable solids (74-XX)
1 Biology and other natural sciences (92-XX)
1 Mathematics education (97-XX)

Citations by Year