×

zbMATH — the first resource for mathematics

Rasiowa, Helena

Compute Distance To:
Author ID: rasiowa.helena Recent zbMATH articles by "Rasiowa, Helena"
Published as: Rasiowa, Helena; Rasiowa, H.
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

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 975 times in 769 Documents Cited by Year
The mathematics of metamathematics. Zbl 0122.24311
Rasiowa, H.; Sikorski, R.
375
1963
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
285
1974
On the representation of quasi-Boolean algebras. Zbl 0082.01403
Białynicki-Birula, A.; Rasiowa, H.
51
1957
A proof of the completeness theorem of Gödel. Zbl 0040.29303
Rasiowa, H.; Sikorski, R.
27
1950
\({\mathfrak N}\)-lattices and constructive logic with strong negation. Zbl 0087.00905
Rasiowa, H.
27
1958
The mathematics of metamathematics. (Matematika metamatematiki.) Übersetzung aus dem Englischen von V. A. Jankov. Zbl 0239.02002
Rasiowa, Helena; Sikorski, Roman
24
1972
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. Zbl 0358.68035
Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A.
13
1977
On constructible falsity in the constructive logic with strong negations. Zbl 0087.01001
Białynicki-Birula, A.; Rasiowa, H.
12
1958
Algebraic treatment of the notion of satisfiability. Zbl 0053.00205
Rasiowa, H.; Sikorski, R.
10
1953
Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability. Zbl 0709.03048
Nguyen Cat Ho; Rasiowa, Helena
10
1989
On the Gentzen theorem. Zbl 0099.00603
Rasiowa, H.; Sikorski, R.
9
1960
Algebraic treatment of the functional calculi of Heyting and Lewis. Zbl 0044.24902
Rasiowa, H.
8
1951
On generalized Post algebras of order \(\omega^+\) and \(\omega^+\)-valued predicate calculi. Zbl 0261.02012
Rasiowa, H.
8
1973
The Craig interpolation theorem for \(m\)-valued predicate calculi. Zbl 0243.02014
Rasiowa, H.
7
1972
Extended \(\omega^+\)-valued algorithmic logic. A formalized theory of programs with recursive procedures. Zbl 0339.68009
Rasiowa, H.
7
1974
On a fragment of the implicative propositional calculus. Zbl 0068.01007
Rasiowa, Helena
5
1955
Many-valued algorithmic logic as a tool to investigate programs. Zbl 0386.03009
Rasiowa, H.
5
1977
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. Zbl 0738.68073
Rasiowa, Helena
5
1991
Semi-Post algebras. Zbl 0633.06006
Nguyen Cat Ho; Rasiowa, Helena
5
1987
Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic. Zbl 0615.03007
Rasiowa, Helena
5
1985
On existential theorems in non-classical functional calculi. Zbl 0056.01103
Rasiowa, H.; Sikorski, R.
4
1954
Algebraic models of axiomatic theories. Zbl 0065.00402
Rasiowa, H.
4
1955
On approximation logics: A survey. Zbl 0749.03014
Rasiowa, H.
4
1991
\(LT\)-fuzzy sets. Zbl 0774.08006
Rasiowa, Helena; Nguyen Cat Ho
4
1992
On a logical structure of mix-valued programs and the \(\omega^+\)-valued algorithmic logic. Zbl 0277.68024
Rasiowa, H.
4
1973
\(\omega^+\)-valued algorithmic logic as a tool to investigate procedures. Zbl 0341.68015
Rasiowa, H.
4
1975
Post algebras as a semantic foundation of m-valued logics. Zbl 0345.02044
Rasiowa, Helena
4
1974
A theorem on the existence of prime filters in post algebras and the completeness theorem for some many-valued predicate calculi. Zbl 0184.01103
Rasiowa, H.
4
1969
Gradual approximating sets by means of equivalence relations. Zbl 0645.04001
Marek, Wiktor; Rasiowa, Helena
3
1987
Algorithmic logic. Multiple-valued extensions. Zbl 0466.03009
Rasiowa, Helena
3
1979
Formalized \(\omega^+\)-valued algorithmic systems. Zbl 0277.68025
Rasiowa, H.
3
1973
A simplified formalization of \(\omega^+\)-valued algorithmic logic. A formalized theory of programs. Zbl 0339.68008
Rasiowa, H.
3
1974
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.02044
Rasiowa, H.
2
1970
A proof of the Skolem-Löwenheim theorem. Zbl 0045.29505
Rasiowa, H.; Sikorski, R.
2
1951
On the \(\varepsilon\)-theorems. Zbl 0074.01007
Rasiowa, H.
2
1956
On the isomorphism of Lindenbaum algebras with fields of sets. Zbl 0086.00611
Rasiowa, H.; Sikorski, R.
2
1958
Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Zbl 0088.01101
Rasiowa, H.
2
1959
Completeness in classical logic of complex algorithms. Zbl 0459.68001
Rasiowa, Helena
2
1980
Subalgebras and homomorphisms of semi-Post algebras. Zbl 0637.06007
Nguyen Cat Ho; Rasiowa, Helena
2
1987
Axiomatization and completeness of uncountably valued approximation logic. Zbl 0787.03015
Rasiowa, Helena
2
1994
Introduction to modern mathematics. 2nd ed. Zbl 0204.30801
Rasiowa, H.
2
1969
Axiomatisation d’un système partiel de la théorie de la deduction. Zbl 0039.00601
Rasiowa, H.
1
1948
A proof of the compactness theorem for arithmetical classes. Zbl 0050.00602
Rasiowa, H.
1
1953
Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Zbl 0057.24307
Mostowski, A.; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R.
1
1954
Constructive theories. Zbl 0059.01602
Rasiowa, H.
1
1954
The present state of investigations on the foundations of mathematics. Zbl 0067.24808
Mostowski, Andrzej; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R.
1
1955
An application of lattices to logic. Zbl 0068.24301
Rasiowa, H.; Sikorski, R.
1
1955
Algorithmic logic and its extensions, a survey. Zbl 0426.68003
Rasiowa, Helena
1
1979
Logic of complex algorithms. Zbl 0433.68033
Rasiowa, Helena
1
1979
On logic of complex algorithms. Zbl 0479.68037
Rasiowa, Helena
1
1981
On logical structure of programs. Zbl 0247.68032
Rasiowa, H.
1
1972
Introduction to modern mathematics. Translated by Olgierd Wojtasiewicz. Zbl 0251.00002
Rasiowa, Helena
1
1973
A generalization of a formalized theory of fields of sets on non- classical logics. Zbl 0265.02035
Rasiowa, H.
1
1964
Many-valued algorithmic logic. Zbl 0343.02013
Rasiowa, H.
1
1975
Approximating sets with equivalence relations. Zbl 0638.68066
Marek, W.; Rasiowa, H.
1
1986
Rough concepts logic. Zbl 0611.68006
Rasiowa, Helena; Skowron, Andrzej
1
1985
Axiomatization and completeness of uncountably valued approximation logic. Zbl 0787.03015
Rasiowa, Helena
2
1994
\(LT\)-fuzzy sets. Zbl 0774.08006
Rasiowa, Helena; Nguyen Cat Ho
4
1992
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. Zbl 0738.68073
Rasiowa, Helena
5
1991
On approximation logics: A survey. Zbl 0749.03014
Rasiowa, H.
4
1991
Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability. Zbl 0709.03048
Nguyen Cat Ho; Rasiowa, Helena
10
1989
Semi-Post algebras. Zbl 0633.06006
Nguyen Cat Ho; Rasiowa, Helena
5
1987
Gradual approximating sets by means of equivalence relations. Zbl 0645.04001
Marek, Wiktor; Rasiowa, Helena
3
1987
Subalgebras and homomorphisms of semi-Post algebras. Zbl 0637.06007
Nguyen Cat Ho; Rasiowa, Helena
2
1987
Approximating sets with equivalence relations. Zbl 0638.68066
Marek, W.; Rasiowa, H.
1
1986
Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic. Zbl 0615.03007
Rasiowa, Helena
5
1985
Rough concepts logic. Zbl 0611.68006
Rasiowa, Helena; Skowron, Andrzej
1
1985
On logic of complex algorithms. Zbl 0479.68037
Rasiowa, Helena
1
1981
Completeness in classical logic of complex algorithms. Zbl 0459.68001
Rasiowa, Helena
2
1980
Algorithmic logic. Multiple-valued extensions. Zbl 0466.03009
Rasiowa, Helena
3
1979
Algorithmic logic and its extensions, a survey. Zbl 0426.68003
Rasiowa, Helena
1
1979
Logic of complex algorithms. Zbl 0433.68033
Rasiowa, Helena
1
1979
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. Zbl 0358.68035
Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A.
13
1977
Many-valued algorithmic logic as a tool to investigate programs. Zbl 0386.03009
Rasiowa, H.
5
1977
\(\omega^+\)-valued algorithmic logic as a tool to investigate procedures. Zbl 0341.68015
Rasiowa, H.
4
1975
Many-valued algorithmic logic. Zbl 0343.02013
Rasiowa, H.
1
1975
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
285
1974
Extended \(\omega^+\)-valued algorithmic logic. A formalized theory of programs with recursive procedures. Zbl 0339.68009
Rasiowa, H.
7
1974
Post algebras as a semantic foundation of m-valued logics. Zbl 0345.02044
Rasiowa, Helena
4
1974
A simplified formalization of \(\omega^+\)-valued algorithmic logic. A formalized theory of programs. Zbl 0339.68008
Rasiowa, H.
3
1974
On generalized Post algebras of order \(\omega^+\) and \(\omega^+\)-valued predicate calculi. Zbl 0261.02012
Rasiowa, H.
8
1973
On a logical structure of mix-valued programs and the \(\omega^+\)-valued algorithmic logic. Zbl 0277.68024
Rasiowa, H.
4
1973
Formalized \(\omega^+\)-valued algorithmic systems. Zbl 0277.68025
Rasiowa, H.
3
1973
Introduction to modern mathematics. Translated by Olgierd Wojtasiewicz. Zbl 0251.00002
Rasiowa, Helena
1
1973
The mathematics of metamathematics. (Matematika metamatematiki.) Übersetzung aus dem Englischen von V. A. Jankov. Zbl 0239.02002
Rasiowa, Helena; Sikorski, Roman
24
1972
The Craig interpolation theorem for \(m\)-valued predicate calculi. Zbl 0243.02014
Rasiowa, H.
7
1972
On logical structure of programs. Zbl 0247.68032
Rasiowa, 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.02044
Rasiowa, 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.01103
Rasiowa, H.
4
1969
Introduction to modern mathematics. 2nd ed. Zbl 0204.30801
Rasiowa, H.
2
1969
A generalization of a formalized theory of fields of sets on non- classical logics. Zbl 0265.02035
Rasiowa, H.
1
1964
The mathematics of metamathematics. Zbl 0122.24311
Rasiowa, H.; Sikorski, R.
375
1963
On the Gentzen theorem. Zbl 0099.00603
Rasiowa, H.; Sikorski, R.
9
1960
Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Zbl 0088.01101
Rasiowa, H.
2
1959
\({\mathfrak N}\)-lattices and constructive logic with strong negation. Zbl 0087.00905
Rasiowa, H.
27
1958
On constructible falsity in the constructive logic with strong negations. Zbl 0087.01001
Białynicki-Birula, A.; Rasiowa, H.
12
1958
On the isomorphism of Lindenbaum algebras with fields of sets. Zbl 0086.00611
Rasiowa, H.; Sikorski, R.
2
1958
On the representation of quasi-Boolean algebras. Zbl 0082.01403
Białynicki-Birula, A.; Rasiowa, H.
51
1957
On the \(\varepsilon\)-theorems. Zbl 0074.01007
Rasiowa, H.
2
1956
On a fragment of the implicative propositional calculus. Zbl 0068.01007
Rasiowa, Helena
5
1955
Algebraic models of axiomatic theories. Zbl 0065.00402
Rasiowa, H.
4
1955
The present state of investigations on the foundations of mathematics. Zbl 0067.24808
Mostowski, Andrzej; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R.
1
1955
An application of lattices to logic. Zbl 0068.24301
Rasiowa, H.; Sikorski, R.
1
1955
On existential theorems in non-classical functional calculi. Zbl 0056.01103
Rasiowa, H.; Sikorski, R.
4
1954
Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Zbl 0057.24307
Mostowski, A.; Grzegorczyk, A.; Jaśkowski, S.; Łoś, Jerzy; Mazur, S.; Rasiowa, H.; Sikorski, R.
1
1954
Constructive theories. Zbl 0059.01602
Rasiowa, H.
1
1954
Algebraic treatment of the notion of satisfiability. Zbl 0053.00205
Rasiowa, H.; Sikorski, R.
10
1953
A proof of the compactness theorem for arithmetical classes. Zbl 0050.00602
Rasiowa, H.
1
1953
Algebraic treatment of the functional calculi of Heyting and Lewis. Zbl 0044.24902
Rasiowa, H.
8
1951
A proof of the Skolem-Löwenheim theorem. Zbl 0045.29505
Rasiowa, H.; Sikorski, R.
2
1951
A proof of the completeness theorem of Gödel. Zbl 0040.29303
Rasiowa, H.; Sikorski, R.
27
1950
Axiomatisation d’un système partiel de la théorie de la deduction. Zbl 0039.00601
Rasiowa, H.
1
1948
all top 5

Cited by 638 Authors

23 Bezhanishvili, Guram
21 Maksimova, Larisa L’vovna
17 Orłowska, Ewa S.
13 Rasiowa, Helena
11 Cornejo, Juan Manuel
11 Jansana, Ramon
10 Cignoli, Roberto
9 Bezhanishvili, Nick
9 Cintula, Petr
9 Leguizamon, Carlos A.
9 Odintsov, Sergei P.
9 Sankappanavar, Hanamantagouda P.
9 Vakarelov, Dimiter
9 Zaretzky, Alba N.
8 Lucero-Bryan, Joel Gregory
8 Muravitsky, Alexei Yu.
8 Rivieccio, Umberto
7 Font, Josep Maria
7 Golińska-Pilarek, Joanna
7 Pigozzi, Don Leonard
7 Spinks, Matthew
6 Cattaneo, Gianpiero
6 Citkin, Alex
6 Czelakowski, Janusz
6 Gabelaia, David
6 Goldblatt, Robert Ian
6 Hájek, Petr
6 Jankowski, Andrzej Wojciech
6 Kremer, Philip
6 Nguyen Cat Ho
6 Noguera, Carles
6 Turunen, Esko
6 van Mill, Jan
5 Běhounek, Libor
5 Buşneag, Dumitru
5 Cornelis, Chris
5 Deschrijver, Glad
5 Kerre, Etienne E.
5 Konikowska, Beata
5 Lando, Tamar
5 Movsisyan, Yuri Movses
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 de Araujo Feitosa, Hércules
4 Došen, Kosta
4 Dunn, Jon Michael
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
3 Baker, Kirby A.
3 Blok, Wim J.
3 Bloom, Stephen L.
3 Chajda, Ivan
3 Chakraborty, Mihir Kumar
3 Cīrulis, Jānis
3 Ciucci, Davide
3 D’Ottaviano, Itala M. Loffredo
3 Esteva, Francesc
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 Jun, Young Bae
3 Kortelainen, Jari
3 Koubek, Vaclav
3 Larsen, Kim Guldstrand
3 Malinowski, Grzegorz
3 Mardare, Radu
3 Meyer, Robert Kenneth
3 Montagna, Franco
3 Moraschini, Tommaso
3 Morsi, Nehad Nashaat
3 Piciu, Dana
3 Radeleczki, Sándor
3 Robles, Gemma
3 Sendlewski, Andrzej
3 Suszko, Roman
3 Szabo, Manfred Egon
3 Szałas, Andrzej
3 Tanaka, Yoshihito
3 Viglizzo, Ignacio Darío
3 Xue, Bingtian
3 Yashin, Aleksandr D.
...and 538 more Authors
all top 5

Cited in 114 Serials

188 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
16 The Journal of Symbolic Logic
15 Notre Dame Journal of Formal Logic
15 Soft Computing
13 Archive for Mathematical Logic
13 Mathematical Logic Quarterly (MLQ)
12 International Journal of Approximate Reasoning
11 The Review of Symbolic Logic
10 Logica Universalis
9 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 Publications of the Research Institute for Mathematical Sciences, Kyoto University
4 Journal of Automated Reasoning
4 Journal of Logic, Language and Information
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 The Bulletin of Symbolic Logic
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 Applied Categorical Structures
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
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 Mathematica Slovaca
1 Mathematical Systems Theory
1 Mathematische Zeitschrift
1 Proceedings of the Japan Academy. Series A
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 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
1 Advances in Engineering Software
1 Journal of the Egyptian Mathematical Society
1 Acta Mathematica et Informatica Universitatis Ostraviensis
1 Fundamenta Informaticae
...and 14 more Serials

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.