×

zbMATH — the first resource for mathematics

Rasiowa, Helena

Compute Distance To:
Author ID: rasiowa.helena Recent zbMATH articles by "Rasiowa, Helena"
Published as: Rasiowa, H.; Rasiowa, Helena
External Links: Women in Mathematics · MGP · Wikidata · dblp · GND · MacTutor
Documents Indexed: 84 Publications since 1948, including 9 Books
Biographic References: 22 Publications

Publications by Year

Citations contained in zbMATH Open

58 Publications have been cited 990 times in 772 Documents Cited by Year
The mathematics of metamathematics. Zbl 0122.24311
Rasiowa, H.; Sikorski, R.
376
1963
An algebraic approach to non-classical logics. Zbl 0299.02069
Rasiowa, Helena
288
1974
On the representation of quasi-Boolean algebras. Zbl 0082.01403
Białynicki-Birula, A.; Rasiowa, H.
50
1957
\({\mathfrak N}\)-lattices and constructive logic with strong negation. Zbl 0087.00905
Rasiowa, H.
27
1958
A proof of the completeness theorem of Gödel. Zbl 0040.29303
Rasiowa, H.; Sikorski, R.
27
1950
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.
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
On generalized Post algebras of order \(\omega^+\) and \(\omega^+\)-valued predicate calculi. Zbl 0261.02012
Rasiowa, H.
8
1973
Algebraic treatment of the functional calculi of Heyting and Lewis. Zbl 0044.24902
Rasiowa, H.
8
1951
\(LT\)-fuzzy sets. Zbl 0774.08006
Rasiowa, Helena; Nguyen Cat Ho
7
1992
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
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
Many-valued algorithmic logic as a tool to investigate programs. Zbl 0386.03009
Rasiowa, H.
5
1977
On a fragment of the implicative propositional calculus. Zbl 0068.01007
Rasiowa, Helena
5
1955
On approximation logics: A survey. Zbl 0749.03014
Rasiowa, H.
4
1991
\(\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 a logical structure of mix-valued programs and the \(\omega^+\)-valued algorithmic logic. Zbl 0277.68024
Rasiowa, H.
4
1973
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
Algebraic models of axiomatic theories. Zbl 0065.00402
Rasiowa, H.
4
1955
On existential theorems in non-classical functional calculi. Zbl 0056.01103
Rasiowa, H.; Sikorski, R.
4
1954
Gradual approximating sets by means of equivalence relations. Zbl 0645.04001
Marek, Wiktor; Rasiowa, Helena
3
1987
Rough concepts logic. Zbl 0611.68006
Rasiowa, Helena; Skowron, Andrzej
3
1985
Algorithmic logic. Multiple-valued extensions. Zbl 0466.03009
Rasiowa, Helena
3
1979
A simplified formalization of \(\omega^+\)-valued algorithmic logic. A formalized theory of programs. Zbl 0339.68008
Rasiowa, H.
3
1974
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
3
1973
Axiomatization and completeness of uncountably valued approximation logic. Zbl 0787.03015
Rasiowa, Helena
2
1994
Subalgebras and homomorphisms of semi-Post algebras. Zbl 0637.06007
Nguyen Cat Ho; Rasiowa, Helena
2
1987
Lectures on infinitary logic and logics of programs. Collected by Gianfranco Mascari. Zbl 0597.03016
Rasiowa, Helena
2
1982
Completeness in classical logic of complex algorithms. Zbl 0459.68001
Rasiowa, Helena
2
1980
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
Introduction to modern mathematics. 2nd ed. Zbl 0204.30801
Rasiowa, H.
2
1969
Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Zbl 0088.01101
Rasiowa, H.
2
1959
On the isomorphism of Lindenbaum algebras with fields of sets. Zbl 0086.00611
Rasiowa, H.; Sikorski, R.
2
1958
On the \(\varepsilon\)-theorems. Zbl 0074.01007
Rasiowa, H.
2
1956
A proof of the Skolem-Löwenheim theorem. Zbl 0045.29505
Rasiowa, H.; Sikorski, R.
2
1951
Approximating sets with equivalence relations. Zbl 0638.68066
Marek, W.; Rasiowa, H.
1
1986
On logic of complex algorithms. Zbl 0479.68037
Rasiowa, Helena
1
1981
Logic of complex algorithms. Zbl 0433.68033
Rasiowa, Helena
1
1979
Algorithmic logic and its extensions, a survey. Zbl 0426.68003
Rasiowa, Helena
1
1979
Algorithmic logic. Zbl 0382.03018
Rasiowa, Helena
1
1977
Many-valued algorithmic logic. Zbl 0343.02013
Rasiowa, H.
1
1975
On logical structure of programs. Zbl 0247.68032
Rasiowa, H.
1
1972
A generalization of a formalized theory of fields of sets on non- classical logics. Zbl 0265.02035
Rasiowa, H.
1
1964
An application of lattices to logic. Zbl 0068.24301
Rasiowa, H.; Sikorski, R.
1
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
Constructive theories. Zbl 0059.01602
Rasiowa, H.
1
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
A proof of the compactness theorem for arithmetical classes. Zbl 0050.00602
Rasiowa, H.
1
1953
Axiomatisation d’un système partiel de la théorie de la deduction. Zbl 0039.00601
Rasiowa, H.
1
1948
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
7
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
3
1985
Lectures on infinitary logic and logics of programs. Collected by Gianfranco Mascari. Zbl 0597.03016
Rasiowa, Helena
2
1982
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
Logic of complex algorithms. Zbl 0433.68033
Rasiowa, Helena
1
1979
Algorithmic logic and its extensions, a survey. Zbl 0426.68003
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
Algorithmic logic. Zbl 0382.03018
Rasiowa, Helena
1
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
288
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
3
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.
376
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.
50
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
An application of lattices to logic. Zbl 0068.24301
Rasiowa, H.; Sikorski, R.
1
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
On existential theorems in non-classical functional calculi. Zbl 0056.01103
Rasiowa, H.; Sikorski, R.
4
1954
Constructive theories. Zbl 0059.01602
Rasiowa, H.
1
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
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.
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 677 Authors

21 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 Cintula, Petr
9 Leguizamon, Carlos A.
9 Odintsov, Sergei P.
9 Sankappanavar, Hanamantagouda P.
9 Zaretzky, Alba N.
8 Rivieccio, Umberto
7 Bezhanishvili, Nick
7 Font, Josep Maria
7 Golińska-Pilarek, Joanna
7 Lucero-Bryan, Joel Gregory
7 Muravitsky, Alexei Yu.
7 Pigozzi, Don Leonard
7 Spinks, Matthew
7 Vakarelov, Dimiter
6 Cattaneo, Gianpiero
6 Citkin, Alex
6 Czelakowski, Janusz
6 Gabelaia, David
6 Ghilardi, Silvio
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
5 Běhounek, Libor
5 Buşneag, Dumitru
5 Cornelis, Chris
5 Deschrijver, Glad
5 Esteva, Francesc
5 Kerre, Etienne E.
5 Konikowska, Beata
5 Lando, Tamar
5 Movsisyan, Yuri Movses
5 Novák, Vilém
5 Van Gasse, Bart
5 van Mill, Jan
5 Wasilewska, Anita
4 Aslanyan, Vahagn A.
4 de Araujo Feitosa, Hércules
4 Došen, Kosta
4 Dunn, Jon Michael
4 Godo, Lluís
4 Harding, John
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 Adams, Michael E.
3 Baker, Kirby A.
3 Blok, Willem Johannes
3 Bloom, Stephen L.
3 Celani, Sergio Arturo
3 Chajda, Ivan
3 Chakraborty, Mihir Kumar
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 Järvinen, Jouni
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 Morsi, Nehad Nashaat
3 Passy, Solomon
3 Piciu, Dana
3 San Martín, Hernán J.
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.
3 Yun, Veta Fëdorovna
3 Zakharyaschev, Michael Viktorovich
...and 577 more Authors
all top 5

Cited in 115 Serials

188 Studia Logica
38 Fuzzy Sets and Systems
35 Annals of Pure and Applied Logic
33 Algebra Universalis
24 Theoretical Computer Science
24 Journal of Applied Non-Classical Logics
21 Algebra and Logic
21 Journal of Philosophical Logic
20 Information Sciences
16 The Journal of Symbolic Logic
15 Soft Computing
14 Notre Dame Journal of Formal Logic
13 Archive for Mathematical Logic
13 Mathematical Logic Quarterly (MLQ)
12 International Journal of Approximate Reasoning
11 The Review of Symbolic Logic
9 Siberian Mathematical Journal
9 Mathematical and Computer Modelling
9 Logica Universalis
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 Information and Computation
5 Annals of Mathematics and Artificial Intelligence
5 Journal of Applied Logic
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
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 Journal of Logic, Language and Information
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 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 Bulletin of the Section of Logic
2 Journal of Symbolic Computation
2 International Journal of Algebra and Computation
2 Applied Categorical Structures
2 Journal of Mathematical Sciences (New York)
2 The Bulletin of Symbolic Logic
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 Biosciences
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 Advances in Mathematics
1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques
1 Applied Mathematics and Computation
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 Synthese
1 Topology and its Applications
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 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
...and 15 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.