Edit Profile (opens in new tab) Rasiowa, Helena Compute Distance To: Compute Author ID: rasiowa.helena Published as: Rasiowa, H.; Rasiowa, Helena External Links: Women in Mathematics · MacTutor · MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 81 Publications since 1948, including 6 Books 3 Contributions as Editor · 1 Further Contribution Biographic References: 22 Publications Co-Authors: 17 Co-Authors with 32 Joint Publications 366 Co-Co-Authors all top 5 Co-Authors 52 single-authored 14 Sikorski, Roman 6 Mostowski, Andrzej Stanisław 5 Łoś, Jerzy 4 Nguyen Cat Ho 3 Jaskowski, Stanislaw 3 Mazur, Stanisław Mieczysław 2 Białynicki-Birula, Andrzej S. 2 Grzegorczyk, Andrzej 2 Marek, V. Wiktor 2 Mirkowska, Grazyna 2 Skowron, Andrzej 1 Banachowski, Lech 1 Epstein, George 1 Grzegorezyk, Andrzej 1 Kreczmar, Antoni 1 Orłowska, Ewa S. 1 Salwicki, Andrzej 1 Thiele, Helmut all top 5 Serials 14 Studia Logica 11 Fundamenta Mathematicae 9 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 4 Bulletin de l’Académie Polonaise des Sciences, Classe 3 2 Colloquium Mathematicum 2 Dissertationes Mathematicae 2 Journal de Mathématiques Pures et Appliquées. Neuvième Série 2 Prace, Centrum obliczeniowe (CO), Polska Akademia Nauk (PAN) 1 Uspekhi Matematicheskikh Nauk [N. S.] 1 Acta Philosophica Fennica 1 Fuzzy Sets and Systems 1 Theoretical Computer Science 1 Roczniki Polskiego Towarzystwa Matematycznego. Seria II. Wiadomości Matematyczne 1 International Journal of Approximate Reasoning 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 1 Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie. Classe III 1 Časopis Pro Pěstování Matematiky a Fysiky 1 Norsk Matematisk Tidsskrift 1 Banach Center Publications 1 Biblioteka Matematyczna. Panstwowe Wydawnictwo Naukowe, Warszawa 1 Monografie Matematyczne 1 Studies in Logic and the Foundations of Mathematics all top 5 Fields 50 Mathematical logic and foundations (03-XX) 29 Computer science (68-XX) 7 General and overarching topics; collections (00-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 5 History and biography (01-XX) 2 General algebraic systems (08-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 56 Publications have been cited 1,006 times in 794 Documents Cited by ▼ Year ▼ The mathematics of metamathematics. Zbl 0122.24311Rasiowa, H.; Sikorski, R. 381 1963 An algebraic approach to non-classical logics. Zbl 0299.02069Rasiowa, Helena 301 1974 On the representation of quasi-Boolean algebras. Zbl 0082.01403Białynicki-Birula, A.; Rasiowa, H. 56 1957 \({\mathfrak N}\)-lattices and constructive logic with strong negation. Zbl 0087.00905Rasiowa, H. 28 1958 A proof of the completeness theorem of Gödel. Zbl 0040.29303Rasiowa, H.; Sikorski, R. 27 1950 The mathematics of metamathematics. (Matematika metamatematiki.) Übersetzung aus dem Englischen von V. A. Jankov. Zbl 0239.02002Rasiowa, Helena; Sikorski, Roman 24 1972 An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. Zbl 0358.68035Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A. 13 1977 On constructible falsity in the constructive logic with strong negations. Zbl 0087.01001Białynicki-Birula, A.; Rasiowa, H. 12 1958 Algebraic treatment of the notion of satisfiability. Zbl 0053.00205Rasiowa, H.; Sikorski, R. 10 1953 Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability. Zbl 0709.03048Nguyen Cat Ho; Rasiowa, Helena 10 1989 On the Gentzen theorem. Zbl 0099.00603Rasiowa, H.; Sikorski, R. 9 1960 Algebraic treatment of the functional calculi of Heyting and Lewis. Zbl 0044.24902Rasiowa, H. 8 1951 On generalized Post algebras of order \(\omega^+\) and \(\omega^+\)-valued predicate calculi. Zbl 0261.02012Rasiowa, H. 8 1973 The Craig interpolation theorem for \(m\)-valued predicate calculi. Zbl 0243.02014Rasiowa, H. 7 1972 Extended \(\omega^+\)-valued algorithmic logic. A formalized theory of programs with recursive procedures. Zbl 0339.68009Rasiowa, H. 7 1974 Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. Zbl 0738.68073Rasiowa, Helena 5 1991 \(LT\)-fuzzy sets. Zbl 0774.08006Rasiowa, Helena; Nguyen Cat Ho 5 1992 On a fragment of the implicative propositional calculus. Zbl 0068.01007Rasiowa, Helena 5 1955 Semi-Post algebras. Zbl 0633.06006Nguyen Cat Ho; Rasiowa, Helena 5 1987 Many-valued algorithmic logic as a tool to investigate programs. Zbl 0386.03009Rasiowa, H. 5 1977 Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic. Zbl 0615.03007Rasiowa, Helena 5 1985 On approximation logics: A survey. Zbl 0749.03014Rasiowa, H. 4 1991 A theorem on the existence of prime filters in Post algebras and the completeness theorem for some many-valued predicate calculi. Zbl 0184.01103Rasiowa, H. 4 1969 On existential theorems in non-classical functional calculi. Zbl 0056.01103Rasiowa, H.; Sikorski, R. 4 1954 Algebraic models of axiomatic theories. Zbl 0065.00402Rasiowa, H. 4 1955 Gradual approximating sets by means of equivalence relations. Zbl 0645.04001Marek, Wiktor; Rasiowa, Helena 4 1987 On a logical structure of mix-valued programs and the \(\omega^+\)-valued algorithmic logic. Zbl 0277.68024Rasiowa, H. 4 1973 A simplified formalization of \(\omega^+\)-valued algorithmic logic. A formalized theory of programs. Zbl 0339.68008Rasiowa, H. 4 1974 \(\omega^+\)-valued algorithmic logic as a tool to investigate procedures. Zbl 0341.68015Rasiowa, H. 4 1975 Post algebras as a semantic foundation of m-valued logics. Zbl 0345.02044Rasiowa, Helena 4 1974 Algorithmic logic. Multiple-valued extensions. Zbl 0466.03009Rasiowa, Helena 3 1979 Formalized \(\omega^+\)-valued algorithmic systems. Zbl 0277.68025Rasiowa, H. 3 1973 Axiomatization and completeness of uncountably valued approximation logic. Zbl 0787.03015Rasiowa, Helena 2 1994 Introduction to modern mathematics. 2nd ed. Zbl 0204.30801Rasiowa, H. 2 1969 Ultraproducts of m-valued models and a ge eralization of the Löwenheim- Skolem-Gödel-Malcev theorem for theories based on m-valued logics. Zbl 0221.02044Rasiowa, H. 2 1970 Completeness in classical logic of complex algorithms. Zbl 0459.68001Rasiowa, Helena 2 1980 A proof of the Skolem-Löwenheim theorem. Zbl 0045.29505Rasiowa, H.; Sikorski, R. 2 1951 On the \(\varepsilon\)-theorems. Zbl 0074.01007Rasiowa, H. 2 1956 On the isomorphism of Lindenbaum algebras with fields of sets. Zbl 0086.00611Rasiowa, H.; Sikorski, R. 2 1958 Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Zbl 0088.01101Rasiowa, H. 2 1959 Subalgebras and homomorphisms of semi-Post algebras. Zbl 0637.06007Nguyen Cat Ho; Rasiowa, Helena 2 1987 On logic of complex algorithms. Zbl 0479.68037Rasiowa, Helena 1 1981 Algorithmic logic and its extensions, a survey. Zbl 0426.68003Rasiowa, Helena 1 1979 Logic of complex algorithms. Zbl 0433.68033Rasiowa, Helena 1 1979 Axiomatisation d’un système partiel de la théorie de la deduction. Zbl 0039.00601Rasiowa, H. 1 1948 A proof of the compactness theorem for arithmetical classes. Zbl 0050.00602Rasiowa, H. 1 1953 Constructive theories. Zbl 0059.01602Rasiowa, H. 1 1954 Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Zbl 0057.24307Mostowski, A.; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R. 1 1954 The present state of investigations on the foundations of mathematics. Zbl 0067.24808Mostowski, Andrzej; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R. 1 1955 An application of lattices to logic. Zbl 0068.24301Rasiowa, H.; Sikorski, R. 1 1955 Approximating sets with equivalence relations. Zbl 0638.68066Marek, W.; Rasiowa, H. 1 1986 On logical structure of programs. Zbl 0247.68032Rasiowa, H. 1 1972 Introduction to modern mathematics. Translated by Olgierd Wojtasiewicz. Zbl 0251.00002Rasiowa, Helena 1 1973 A generalization of a formalized theory of fields of sets on non- classical logics. Zbl 0265.02035Rasiowa, H. 1 1964 Many-valued algorithmic logic. Zbl 0343.02013Rasiowa, H. 1 1975 Rough concepts logic. Zbl 0611.68006Rasiowa, Helena; Skowron, Andrzej 1 1985 Axiomatization and completeness of uncountably valued approximation logic. Zbl 0787.03015Rasiowa, Helena 2 1994 \(LT\)-fuzzy sets. Zbl 0774.08006Rasiowa, Helena; Nguyen Cat Ho 5 1992 Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. Zbl 0738.68073Rasiowa, Helena 5 1991 On approximation logics: A survey. Zbl 0749.03014Rasiowa, H. 4 1991 Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability. Zbl 0709.03048Nguyen Cat Ho; Rasiowa, Helena 10 1989 Semi-Post algebras. Zbl 0633.06006Nguyen Cat Ho; Rasiowa, Helena 5 1987 Gradual approximating sets by means of equivalence relations. Zbl 0645.04001Marek, Wiktor; Rasiowa, Helena 4 1987 Subalgebras and homomorphisms of semi-Post algebras. Zbl 0637.06007Nguyen Cat Ho; Rasiowa, Helena 2 1987 Approximating sets with equivalence relations. Zbl 0638.68066Marek, W.; Rasiowa, H. 1 1986 Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic. Zbl 0615.03007Rasiowa, Helena 5 1985 Rough concepts logic. Zbl 0611.68006Rasiowa, Helena; Skowron, Andrzej 1 1985 On logic of complex algorithms. Zbl 0479.68037Rasiowa, Helena 1 1981 Completeness in classical logic of complex algorithms. Zbl 0459.68001Rasiowa, Helena 2 1980 Algorithmic logic. Multiple-valued extensions. Zbl 0466.03009Rasiowa, Helena 3 1979 Algorithmic logic and its extensions, a survey. Zbl 0426.68003Rasiowa, Helena 1 1979 Logic of complex algorithms. Zbl 0433.68033Rasiowa, Helena 1 1979 An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. Zbl 0358.68035Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A. 13 1977 Many-valued algorithmic logic as a tool to investigate programs. Zbl 0386.03009Rasiowa, H. 5 1977 \(\omega^+\)-valued algorithmic logic as a tool to investigate procedures. Zbl 0341.68015Rasiowa, H. 4 1975 Many-valued algorithmic logic. Zbl 0343.02013Rasiowa, H. 1 1975 An algebraic approach to non-classical logics. Zbl 0299.02069Rasiowa, Helena 301 1974 Extended \(\omega^+\)-valued algorithmic logic. A formalized theory of programs with recursive procedures. Zbl 0339.68009Rasiowa, H. 7 1974 A simplified formalization of \(\omega^+\)-valued algorithmic logic. A formalized theory of programs. Zbl 0339.68008Rasiowa, H. 4 1974 Post algebras as a semantic foundation of m-valued logics. Zbl 0345.02044Rasiowa, Helena 4 1974 On generalized Post algebras of order \(\omega^+\) and \(\omega^+\)-valued predicate calculi. Zbl 0261.02012Rasiowa, H. 8 1973 On a logical structure of mix-valued programs and the \(\omega^+\)-valued algorithmic logic. Zbl 0277.68024Rasiowa, H. 4 1973 Formalized \(\omega^+\)-valued algorithmic systems. Zbl 0277.68025Rasiowa, H. 3 1973 Introduction to modern mathematics. Translated by Olgierd Wojtasiewicz. Zbl 0251.00002Rasiowa, Helena 1 1973 The mathematics of metamathematics. (Matematika metamatematiki.) Übersetzung aus dem Englischen von V. A. Jankov. Zbl 0239.02002Rasiowa, Helena; Sikorski, Roman 24 1972 The Craig interpolation theorem for \(m\)-valued predicate calculi. Zbl 0243.02014Rasiowa, H. 7 1972 On logical structure of programs. Zbl 0247.68032Rasiowa, H. 1 1972 Ultraproducts of m-valued models and a ge eralization of the Löwenheim- Skolem-Gödel-Malcev theorem for theories based on m-valued logics. Zbl 0221.02044Rasiowa, H. 2 1970 A theorem on the existence of prime filters in Post algebras and the completeness theorem for some many-valued predicate calculi. Zbl 0184.01103Rasiowa, H. 4 1969 Introduction to modern mathematics. 2nd ed. Zbl 0204.30801Rasiowa, H. 2 1969 A generalization of a formalized theory of fields of sets on non- classical logics. Zbl 0265.02035Rasiowa, H. 1 1964 The mathematics of metamathematics. Zbl 0122.24311Rasiowa, H.; Sikorski, R. 381 1963 On the Gentzen theorem. Zbl 0099.00603Rasiowa, H.; Sikorski, R. 9 1960 Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Zbl 0088.01101Rasiowa, H. 2 1959 \({\mathfrak N}\)-lattices and constructive logic with strong negation. Zbl 0087.00905Rasiowa, H. 28 1958 On constructible falsity in the constructive logic with strong negations. Zbl 0087.01001Białynicki-Birula, A.; Rasiowa, H. 12 1958 On the isomorphism of Lindenbaum algebras with fields of sets. Zbl 0086.00611Rasiowa, H.; Sikorski, R. 2 1958 On the representation of quasi-Boolean algebras. Zbl 0082.01403Białynicki-Birula, A.; Rasiowa, H. 56 1957 On the \(\varepsilon\)-theorems. Zbl 0074.01007Rasiowa, H. 2 1956 On a fragment of the implicative propositional calculus. Zbl 0068.01007Rasiowa, Helena 5 1955 Algebraic models of axiomatic theories. Zbl 0065.00402Rasiowa, H. 4 1955 The present state of investigations on the foundations of mathematics. Zbl 0067.24808Mostowski, Andrzej; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R. 1 1955 An application of lattices to logic. Zbl 0068.24301Rasiowa, H.; Sikorski, R. 1 1955 On existential theorems in non-classical functional calculi. Zbl 0056.01103Rasiowa, H.; Sikorski, R. 4 1954 Constructive theories. Zbl 0059.01602Rasiowa, H. 1 1954 Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Zbl 0057.24307Mostowski, A.; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R. 1 1954 Algebraic treatment of the notion of satisfiability. Zbl 0053.00205Rasiowa, H.; Sikorski, R. 10 1953 A proof of the compactness theorem for arithmetical classes. Zbl 0050.00602Rasiowa, H. 1 1953 Algebraic treatment of the functional calculi of Heyting and Lewis. Zbl 0044.24902Rasiowa, H. 8 1951 A proof of the Skolem-Löwenheim theorem. Zbl 0045.29505Rasiowa, H.; Sikorski, R. 2 1951 A proof of the completeness theorem of Gödel. Zbl 0040.29303Rasiowa, H.; Sikorski, R. 27 1950 Axiomatisation d’un système partiel de la théorie de la deduction. Zbl 0039.00601Rasiowa, H. 1 1948 all cited Publications top 5 cited Publications all top 5 Cited by 661 Authors 24 Bezhanishvili, Guram 22 Maksimova, Larisa L’vovna 17 Orłowska, Ewa S. 13 Rasiowa, Helena 12 Cornejo, Juan Manuel 12 Jansana, Ramon 10 Cignoli, Roberto 10 Odintsov, Sergei P. 10 Rivieccio, Umberto 10 Sankappanavar, Hanamantagouda P. 9 Bezhanishvili, Nick 9 Cintula, Petr 9 Leguizamon, Carlos A. 9 Vakarelov, Dimiter 9 Zaretzky, Alba N. 8 Lucero-Bryan, Joel Gregory 8 Muravitsky, Alexei Yu. 7 Font, Josep Maria 7 Gabelaia, David 7 Golińska-Pilarek, Joanna 7 Pigozzi, Don Leonard 7 Spinks, Matthew 6 Cattaneo, Gianpiero 6 Citkin, Alex 6 Czelakowski, Janusz 6 Esteva, Francesc 6 Goldblatt, Robert Ian 6 Hájek, Petr 6 Jankowski, Andrzej Wojciech 6 Kremer, Philip 6 Movsisyan, Yuri Movses 6 Nguyen Cat Ho 6 Noguera, Carles 6 Turunen, Esko 6 van Mill, Jan 5 Běhounek, Libor 5 Blok, Willem Johannes 5 Buşneag, Dumitru 5 Cornelis, Chris 5 Deschrijver, Glad 5 Dunn, Jon Michael 5 Kerre, Etienne E. 5 Konikowska, Beata 5 Lando, Tamar 5 Novák, Vilém 5 Van Gasse, Bart 5 Wasilewska, Anita 4 Aslanyan, Vahagn A. 4 Castiglioni, José Luis 4 Celani, Sergio Arturo 4 Chajda, Ivan 4 Chakraborty, Mihir Kumar 4 Cīrulis, Jānis 4 de Araujo Feitosa, Hércules 4 Došen, Kosta 4 Ghilardi, Silvio 4 Godo, Lluís 4 Harding, John 4 Järvinen, Jouni 4 Karpenko, Anastasia Valer’evna 4 Ma, Minghui 4 Marek, V. Wiktor 4 Ono, Hiroakira 4 Rautenberg, Wolfgang 4 Rybakov, Vladimir Vladimirovich 4 Stokes, Timothy E. 4 Veroff, Robert 4 Wansing, Heinrich Theodor 4 Yun, Veta Fëdorovna 3 Baker, Kirby A. 3 Banerjee, Mohua 3 Bimbó, Katalin 3 Bloom, Stephen L. 3 Ciucci, Davide 3 D’Ottaviano, Itala M. Loffredo 3 Fleischer, Isidore 3 Gargov, George K. 3 Gottwald, Siegfried 3 Grzegorczyk, Andrzej 3 Guido, Cosimo 3 Holliday, Wesley H. 3 Huynh, Van-Nam 3 Jibladze, Mamuka A. 3 Jun, Young Bae 3 Kortelainen, Jari 3 Koubek, Vaclav 3 Larsen, Kim Guldstrand 3 Lávička, Tomáš 3 Malinowski, Grzegorz 3 Mardare, Radu 3 Meyer, Robert Kenneth 3 Montagna, Franco 3 Moraschini, Tommaso 3 Morsi, Nehad Nashaat 3 Piciu, Dana 3 Rachůnek, Jiří 3 Radeleczki, Sándor 3 Robles, Gemma 3 Sendlewski, Andrzej 3 Suszko, Roman ...and 561 more Authors all top 5 Cited in 119 Serials 189 Studia Logica 41 Fuzzy Sets and Systems 33 Algebra Universalis 33 Annals of Pure and Applied Logic 25 Journal of Applied Non-Classical Logics 23 Theoretical Computer Science 22 Journal of Philosophical Logic 21 Algebra and Logic 19 Information Sciences 18 Soft Computing 17 The Journal of Symbolic Logic 15 Notre Dame Journal of Formal Logic 13 International Journal of Approximate Reasoning 13 Archive for Mathematical Logic 13 Mathematical Logic Quarterly (MLQ) 11 Logica Universalis 11 The Review of Symbolic Logic 10 Siberian Mathematical Journal 9 Mathematical and Computer Modelling 7 Transactions of the American Mathematical Society 6 Discrete Mathematics 6 Kybernetika 6 Order 6 Central European Journal of Mathematics 5 Journal of Pure and Applied Algebra 5 Annals of Mathematics and Artificial Intelligence 4 Communications in Algebra 4 International Journal of General Systems 4 Information Processing Letters 4 Czechoslovak Mathematical Journal 4 Demonstratio Mathematica 4 Journal of Algebra 4 Mathematica Slovaca 4 Publications of the Research Institute for Mathematical Sciences, Kyoto University 4 Journal of Automated Reasoning 4 Journal of Logic, Language and Information 4 The Bulletin of Symbolic Logic 4 Journal of Applied Logic 3 Artificial Intelligence 3 Journal of Mathematical Analysis and Applications 3 Mathematical Notes 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 3 Proceedings of the American Mathematical Society 3 RAIRO, Informatique Théorique 3 International Journal of Computer Mathematics 3 Applied Categorical Structures 3 Journal of Multiple-Valued Logic and Soft Computing 2 Acta Informatica 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Computers & Mathematics with Applications 2 Discrete Applied Mathematics 2 International Journal of Theoretical Physics 2 Advances in Mathematics 2 Archiv der Mathematik 2 Compositio Mathematica 2 Journal of Computer and System Sciences 2 Journal of Soviet Mathematics 2 Mathematische Annalen 2 Mathematische Nachrichten 2 Rendiconti del Circolo Matemàtico di Palermo. Serie II 2 Bulletin of the Section of Logic 2 International Journal of Algebra and Computation 2 Journal of Mathematical Sciences (New York) 2 RAIRO. Theoretical Informatics and Applications 2 Proceedings of the Japan Academy 2 Asian-European Journal of Mathematics 2 Armenian Journal of Mathematics 2 Formalized Mathematics 2 Categories and General Algebraic Structures with Applications 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Bulletin of the Australian Mathematical Society 1 Lithuanian Mathematical Journal 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Reports on Mathematical Physics 1 The Mathematical Intelligencer 1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques 1 International Journal of Mathematics and Mathematical Sciences 1 International Journal of Computer & Information Sciences 1 International Journal of Game Theory 1 Journal of Combinatorial Theory. Series A 1 Journal of Mathematical Psychology 1 Kodai Mathematical Journal 1 Mathematical Systems Theory 1 Mathematische Zeitschrift 1 Proceedings of the Japan Academy. Series A 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Synthese 1 Topology and its Applications 1 Cybernetics 1 Advances in Applied Mathematics 1 History and Philosophy of Logic 1 Journal of Symbolic Computation 1 Information and Computation 1 Annales Scientifiques de l’Université Blaise Pascal Clermont-Ferrand II. Mathématiques 1 MSCS. Mathematical Structures in Computer Science 1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 1 Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences 1 Aequationes Mathematicae 1 Indagationes Mathematicae. New Series ...and 19 more Serials all top 5 Cited in 27 Fields 653 Mathematical logic and foundations (03-XX) 249 Order, lattices, ordered algebraic structures (06-XX) 134 Computer science (68-XX) 72 General algebraic systems (08-XX) 44 Category theory; homological algebra (18-XX) 42 General topology (54-XX) 19 History and biography (01-XX) 11 Group theory and generalizations (20-XX) 11 Information and communication theory, circuits (94-XX) 10 Biology and other natural sciences (92-XX) 7 Combinatorics (05-XX) 6 Associative rings and algebras (16-XX) 6 Quantum theory (81-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Commutative algebra (13-XX) 4 Measure and integration (28-XX) 3 Real functions (26-XX) 3 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) 2 Field theory and polynomials (12-XX) 2 Geometry (51-XX) 2 Probability theory and stochastic processes (60-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Partial differential equations (35-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.