Helena Rasiowa | Academic Influence

Helena Rasiowa's AcademicInfluence.com Rankings

Helena Rasiowa

Mathematics

#593

World Rank

#1113

Historical Rank

Measure Theory

#333

World Rank

#502

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Helena Rasiowa's Degrees

PhD Mathematics University of Warsaw

Why Is Helena Rasiowa Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Helena Rasiowa was a Polish mathematician. She worked in the foundations of mathematics and algebraic logic. Early years Rasiowa was born in Vienna on 20 June 1917 to Polish parents. As soon as Poland regained its independence in 1918, the family settled in Warsaw. Helena's father was a railway specialist. She exhibited many different skills and interests, from music to business management and the most important of her interests, mathematics.

(See a Problem?)

Helena Rasiowa's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The mathematics of metamathematics (1963) (1010)
An Algebraic Approach To Non Classical Logics (1974) (506)
Logic at work : essays dedicated to the memory of Helena Rasiowa (1999) (158)
A proof of the completeness theorem of Grödel (1950) (130)
On the Representation of Quasi-Boolean Algebras (1957) (130)
N-lattices and constructive logic with strong negation (1958) (74)
Algebraic Treatment of the Notion of Satisfiability (1953) (51)
Rough concepts logic (1984) (39)
Approximation logic (1985) (32)
Algebraic Treatment of the Functional Calculi of Heyting and Lewis (1951) (32)
On the Gentzen theorem (1959) (27)
On constructible falsity in the constructive logic with strong negation (1958) (23)
Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability (1989) (19)
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents (1991) (18)
Algebraic models of axiomatic theories (1955) (17)
Logic of Approximation Reasoning (1987) (16)
On existential theorems in non-classical functional calculi (1955) (14)
Approximating sets with equivalence relations (1986) (14)
Approximation Reasoning and Scott's Information Systems (1987) (14)
omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures (1974) (12)
Semi-Post algebras (1987) (12)
On the ε-theorems (1956) (11)
Many-Valued Algorithmic Logic as a Tool to Investigate Programs (1977) (11)
A Proof of the Skolem-Löwenheim Theorem (1951) (10)
A proof of the compactness theorem for arithmetical classes (1952) (9)
Axiomatization and completeness of uncountably valued approximation logic (1994) (9)
LT -fuzzy sets (1992) (8)
On the Logical Structure of Mix-valued Programs and the omega+-valued Algorithmic Logic (1973) (8)
Topological representations of Post algebras of order ω+ and open theories based on ω+-valued Post logic (1985) (7)
Theory and uses of Post algebras of order omega + omega *. I (1990) (7)
Subalgebras and homomorphisms of semi-Post algebras (1987) (7)
Mathematical problems in computation theory (1988) (7)
Logic Approximating Sequences of Sets (1987) (5)
Mechanical proof systems for logic II, consensus programs and their processing (1993) (5)
Algorithmic logic. Multiple-valued extensions (1979) (5)
A proof of Herbrand's theorem (1979) (5)
Toward fuzzy logic (1992) (5)
On the isomorphism of Lindenbaum algebras with fields of sets (1958) (5)
Formalized omega+-valued Algorithmic Systems (1973) (4)
Mixed-valued predicate calculi (1975) (3)
An application of lattices to logic (1955) (3)
A generalization of a formalized theory of fields of sets on non-classical logics (1964) (3)
Theory and Uses of Post Algebras of Order \omega+\omega\ast. Part II. (1991) (3)
Completeness in Classical Logic of Complex Algorithms (1980) (3)
On logic of complex algorithms (1981) (3)
On a fragment of the implicative propositional calculus (1955) (2)
Theory and uses of Post algebras of order omega + omega *. II (1990) (2)
Many-valued algorithmic logic (1975) (1)
A Tribute to A. Mostowski (1977) (1)
Review: B. U. Pil'cak, On the Decision Problem for the Calculus of Problems (1951) (1)
Errata to the paper "On the ε-theorems" (Fund. Math. 43, p. 156-165) (1957) (1)
CHAPTER III – FUNCTIONS (1973) (0)
CHAPTER VII – EQUIVALENCE RELATIONS1) (1973) (0)
CHAPTER XIII – THE FUNCTIONAL CALCULUS AND ITS APPLICATIONS IN MATHEMATICAL PROOFS1) (1973) (0)
CHAPTER IX – ORDERED SETS (1973) (0)
Mihailescu Eugen Gh.. Cercetǎri asupra subsistemelor calculului propoziţiilor (Researches on sub-systems of the propositional calculus). Roumanian, with abstracts in Russian and French. Studii şi cercetӑri matematice, Academia Republicii Populate Romane, Institutul de Matematica, vol. 2 (1951), pp. (1952) (0)
Subtyping for Extensible , In omplete Obje tsTo (2001) (0)
THE ALGEBRA OF SETS (1973) (0)
Review: Roman Sikorski, A Note to Rieger's Paper "On Free $\aleph_\xi$-Complete Boolean Algebras." (1954) (0)
CARTESIAN PRODUCTS OF SETS. RELATIONS. FUNCTIONS AS RELATIONS (1973) (0)
Review: Eugen Gh. Mihailescu, Researches on Sub-Systems of the Propositional Calculus (1952) (0)
LINEARLY ORDERED SETS (1973) (0)
Roman Sikorski. A note to Rieger's paper “On free ℵ ξ -complete Boolean algebras.” Fundamenta mathematicae , vol. 38 (1951), pp. 53–54. (1954) (0)
Pil'čak B. Ú.. Ob isčislénii zadač (On the calculus of problems). Ukrainskij matématičéskij žurnal , vol. 4 (1952), pp. 174–194. (1956) (0)
Kleene Stephen Cole. Introduction to metamathematics . North-Holland Publishing Co., Amsterdam, and P. Noordhoff, Groningen, 1952; D. van Nostrand Company, New York and Toronto 1952; X + 550 pp. (1954) (0)
Theories of interacting stacks (1984) (0)
An addition to the paper “A proof of Herbrand's theorem” (1979) (0)
POWERS OF SETS (1973) (0)
NATURAL NUMBERS. PROOFS BY INDUCTION (1973) (0)
A partially ordered extention of the integers (1995) (0)
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract) (1993) (0)
GENERALIZED UNIONS AND INTERSECTIONS OF SETS (1973) (0)
List of officers and members of the Association for Symbolic Logic (1960) (0)
An Application of Lattices to Logic. (1970) (0)
A geometric interpretation of logical formulae (1953) (0)
Review: B. U. Pil'cak, On the Calculus of Problems (1956) (0)
GENERALIZED PRODUCTS. m -ARY RELATIONS. FUNCTIONS OF SEVERAL VARIABLES. IMAGES AND INVERSE IMAGES UNDER A FUNCTION (1973) (0)
THE PROPOSITIONAL CALCULUS AND ITS APPLICATIONS IN MATHEMATICAL PROOFS (1973) (0)

This paper list is powered by the following services:

Other Resources About Helena Rasiowa

en.wikipedia.org

What Schools Are Affiliated With Helena Rasiowa?

Helena Rasiowa is affiliated with the following schools:

University of Warsaw

Image Attributions

Image Source for Helena Rasiowa