×

Rasiowa, Helena (b. 1917 d. 1994)

Author ID: rasiowa.helena Recent zbMATH articles by "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: 23 Publications
Co-Authors: 17 Co-Authors with 32 Joint Publications
372 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

57 Publications have been cited 1,080 times in 854 Documents Cited by Year
The mathematics of metamathematics. Zbl 0122.24311
Rasiowa, H.; Sikorski, R.
408
1963
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
322
1974
On the representation of quasi-Boolean algebras. Zbl 0082.01403
Białynicki-Birula, A.; Rasiowa, H.
60
1957
\({\mathfrak N}\)-lattices and constructive logic with strong negation. Zbl 0087.00905
Rasiowa, H.
32
1958
A proof of the completeness theorem of Gödel. Zbl 0040.29303
Rasiowa, H.; Sikorski, R.
31
1950
The mathematics of metamathematics. (Matematika metamatematiki.) Übersetzung aus dem Englischen von V. A. Jankov. Zbl 0239.02002
Rasiowa, Helena; Sikorski, Roman
25
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.
14
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.
11
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.
9
1951
On generalized Post algebras of order \(\omega^+\) and \(\omega^+\)-valued predicate calculi. Zbl 0261.02012
Rasiowa, H.
8
1973
Extended \(\omega^+\)-valued algorithmic logic. A formalized theory of programs with recursive procedures. Zbl 0339.68009
Rasiowa, H.
7
1974
The Craig interpolation theorem for \(m\)-valued predicate calculi. Zbl 0243.02014
Rasiowa, H.
7
1972
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. Zbl 0738.68073
Rasiowa, Helena
6
1991
A simplified formalization of \(\omega^+\)-valued algorithmic logic. A formalized theory of programs. Zbl 0339.68008
Rasiowa, H.
5
1974
Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic. Zbl 0615.03007
Rasiowa, Helena
5
1985
\(LT\)-fuzzy sets. Zbl 0774.08006
Rasiowa, Helena; Nguyen Cat Ho
5
1992
Many-valued algorithmic logic as a tool to investigate programs. Zbl 0386.03009
Rasiowa, H.
5
1977
Semi-Post algebras. Zbl 0633.06006
Nguyen Cat Ho; Rasiowa, Helena
5
1987
On a fragment of the implicative propositional calculus. Zbl 0068.01007
Rasiowa, Helena
5
1955
\(\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
On approximation logics: A survey. Zbl 0749.03014
Rasiowa, 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.01103
Rasiowa, H.
4
1969
On a logical structure of mix-valued programs and the \(\omega^+\)-valued algorithmic logic. Zbl 0277.68024
Rasiowa, H.
4
1973
Gradual approximating sets by means of equivalence relations. Zbl 0645.04001
Marek, Wiktor; Rasiowa, Helena
4
1987
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
Algorithmic logic. Multiple-valued extensions. Zbl 0466.03009
Rasiowa, Helena
3
1979
Axiomatization and completeness of uncountably valued approximation logic. Zbl 0787.03015
Rasiowa, Helena
3
1994
Rough concepts logic. Zbl 0611.68006
Rasiowa, Helena; Skowron, Andrzej
3
1985
Formalized \(\omega^+\)-valued algorithmic systems. Zbl 0277.68025
Rasiowa, H.
3
1973
A proof of the Skolem-Löwenheim theorem. Zbl 0045.29505
Rasiowa, H.; Sikorski, R.
3
1951
Completeness in classical logic of complex algorithms. Zbl 0459.68001
Rasiowa, Helena
2
1980
Introduction to modern mathematics. 2nd ed. Zbl 0204.30801
Rasiowa, 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.02044
Rasiowa, H.
2
1970
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.
2
1986
Axiomatisation d’un système partiel de la théorie de la deduction. Zbl 0039.00601
Rasiowa, H.
2
1948
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.
2
1955
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
On logic of complex algorithms. Zbl 0479.68037
Rasiowa, Helena
1
1981
Cecylia Rauszer. Zbl 0807.01030
Rasiowa, Helena
1
1994
Many-valued algorithmic logic. Zbl 0343.02013
Rasiowa, H.
1
1975
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 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
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
An application of lattices to logic. Zbl 0068.24301
Rasiowa, H.; Sikorski, R.
1
1955
Axiomatization and completeness of uncountably valued approximation logic. Zbl 0787.03015
Rasiowa, Helena
3
1994
Cecylia Rauszer. Zbl 0807.01030
Rasiowa, Helena
1
1994
\(LT\)-fuzzy sets. Zbl 0774.08006
Rasiowa, Helena; Nguyen Cat Ho
5
1992
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. Zbl 0738.68073
Rasiowa, Helena
6
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
4
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.
2
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
3
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.
14
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
322
1974
Extended \(\omega^+\)-valued algorithmic logic. A formalized theory of programs with recursive procedures. Zbl 0339.68009
Rasiowa, H.
7
1974
A simplified formalization of \(\omega^+\)-valued algorithmic logic. A formalized theory of programs. Zbl 0339.68008
Rasiowa, H.
5
1974
Post algebras as a semantic foundation of m-valued logics. Zbl 0345.02044
Rasiowa, Helena
4
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
25
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.
408
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.
32
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.
60
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.
2
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.
11
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.
9
1951
A proof of the Skolem-Löwenheim theorem. Zbl 0045.29505
Rasiowa, H.; Sikorski, R.
3
1951
A proof of the completeness theorem of Gödel. Zbl 0040.29303
Rasiowa, H.; Sikorski, R.
31
1950
Axiomatisation d’un système partiel de la théorie de la deduction. Zbl 0039.00601
Rasiowa, H.
2
1948
all top 5

Cited by 715 Authors

27 Bezhanishvili, Guram
22 Maksimova, Larisa L’vovna
17 Orłowska, Ewa S.
14 Cornejo, Juan Manuel
13 Jansana, Ramon
13 Rasiowa, Helena
12 Sankappanavar, Hanamantagouda P.
11 Odintsov, Sergei P.
10 Cignoli, Roberto
10 Rivieccio, Umberto
9 Bezhanishvili, Nick
9 Cintula, Petr
9 Leguizamon, Carlos A.
9 Vakarelov, Dimiter
9 Zaretzky, Alba N.
8 Font, Josep Maria
8 Kremer, Philip
8 Lucero-Bryan, Joel Gregory
8 Muravitsky, Alexei Yu.
7 Citkin, Alex
7 Czelakowski, Janusz
7 Gabelaia, David
7 Golińska-Pilarek, Joanna
7 Jankowski, Andrzej Wojciech
7 Pigozzi, Don Leonard
7 Spinks, Matthew
6 Banerjee, Mohua
6 Cattaneo, Gianpiero
6 Dunn, Jon Michael
6 Esteva, Francesc
6 Goldblatt, Robert Ian
6 Hájek, Petr
6 Ma, Minghui
6 Movsisyan, Yuri Movses
6 Nguyen Cat Ho
6 Noguera, Carles
6 Turunen, Esko
6 van Mill, Jan
6 Wasilewska, Anita
5 Běhounek, Libor
5 Blok, Willem Johannes
5 Buşneag, Dumitru
5 Celani, Sergio Arturo
5 Chakraborty, Mihir Kumar
5 Cornelis, Chris
5 Deschrijver, Glad
5 Kerre, Etienne E.
5 Konikowska, Beata
5 Lando, Tamar
5 Novák, Vilém
5 Van Gasse, Bart
4 Aslanyan, Vahagn A.
4 Caleiro, Carlos
4 Castiglioni, José Luis
4 Chajda, Ivan
4 Cīrulis, Jānis
4 de Araujo Feitosa, Hércules
4 Došen, Kosta
4 Ghilardi, Silvio
4 Godo, Lluís
4 González, Luciano Javier
4 Harding, John
4 Järvinen, Jouni
4 Karpenko, Anastasia Valer’evna
4 Marek, V. Wiktor
4 Ono, Hiroakira
4 Rautenberg, Wolfgang
4 Robles, Gemma
4 Rybakov, Vladimir Vladimirovich
4 Skowron, Andrzej
4 Stokes, Timothy E.
4 Tanaka, Yoshihito
4 Veroff, Robert
4 Viglizzo, Ignacio Darío
4 Wansing, Heinrich Theodor
4 Yun, Veta Fëdorovna
4 Zakharyaschev, Michael Viktorovich
3 Adams, Michael E.
3 Baker, Kirby A.
3 Bimbó, Katalin
3 Bloom, Stephen L.
3 Borumand Saeid, Arsham
3 Ciucci, Davide
3 D’Ottaviano, Itala M. Loffredo
3 Figallo Orellano, Aldo
3 Fleischer, Isidore
3 Gargov, George K.
3 Gehrke, Mai
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
...and 615 more Authors
all top 5

Cited in 123 Serials

196 Studia Logica
43 Fuzzy Sets and Systems
35 Annals of Pure and Applied Logic
33 Algebra Universalis
25 Journal of Applied Non-Classical Logics
24 Theoretical Computer Science
23 Journal of Philosophical Logic
22 Algebra and Logic
19 Information Sciences
18 The Journal of Symbolic Logic
18 Soft Computing
17 Mathematical Logic Quarterly (MLQ)
15 Notre Dame Journal of Formal Logic
13 International Journal of Approximate Reasoning
13 Archive for Mathematical Logic
13 The Review of Symbolic Logic
11 Logica Universalis
10 Siberian Mathematical Journal
9 Mathematical and Computer Modelling
7 Transactions of the American Mathematical Society
7 Order
6 Discrete Mathematics
6 Kybernetika
6 Central European Journal of Mathematics
5 Journal of Pure and Applied Algebra
5 Mathematica Slovaca
5 Synthese
5 Journal of Logic, Language and Information
5 Annals of Mathematics and Artificial Intelligence
4 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 The Bulletin of Symbolic Logic
4 Journal of Applied Logic
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 Bulletin of the Section of Logic
3 Information and Computation
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 Mathematical Psychology
2 Journal of Soviet Mathematics
2 Mathematische Annalen
2 Mathematische Nachrichten
2 Rendiconti del Circolo Matemàtico di Palermo. Serie II
2 Topology and its Applications
2 Journal of Symbolic Computation
2 International Journal of Algebra and Computation
2 Journal of Mathematical Sciences (New York)
2 RAIRO. Theoretical Informatics and Applications
2 Theory and Practice of Logic Programming
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 Gaṇita
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 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 Cybernetics
1 Advances in Applied Mathematics
1 Mathematical Social Sciences
1 History and Philosophy of Logic
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
...and 23 more Serials

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.