Results for 'H. Rasiowa'

988 found
Order:
  1.  30
    Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Direct download  
     
    Export citation  
     
    Bookmark   220 citations  
  2.  16
    Many-valued algorithmic logic as a tool to investigate programs.H. Rasiowa - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel. pp. 77--102.
  3.  7
    A Proof of Herbrand's Theorem.A. Mostowski & H. Rasiowa - 1971 - Journal of Symbolic Logic 36 (1):168-169.
  4.  21
    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. [REVIEW]H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  8
    Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    Der Gegenwärtige Stand der Grundlagenforschung in der Mathematik.A. Mostowski, A. Grzegorczyk, S. Mazur & H. Rasiowa - 1956 - Journal of Symbolic Logic 21 (4):372-373.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  17
    Review: A. Bialynicki-Birula, H. Rasiowa, On the Representation of Quasi-Boolean Algebras. [REVIEW]H. Gericke - 1957 - Journal of Symbolic Logic 22 (4):370-370.
  8.  19
    Białynicki-Birula A. and Rasiowa H.. On the representation of quasi-Boolean algebras. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 5 , S. 259–261. [REVIEW]H. Gericke - 1957 - Journal of Symbolic Logic 22 (4):370-370.
  9.  7
    Review: H. Rasiowa, Sur un Certain Systeme D'Axiomes du Calcul des Propositions. [REVIEW]Alfons Borgers - 1949 - Journal of Symbolic Logic 14 (3):197-197.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  34
    Review: H. Rasiowa, R. Sikorski, A Proof of the Completeness Theorem of Godel. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11. Review: H. Rasiowa, A Proof of $epsilon$-Theorems; H. Rasiowa, On the $epsilon$-Theorems. [REVIEW]Kurt Schutte - 1968 - Journal of Symbolic Logic 33 (2):286-286.
  12.  21
    Review: H. Rasiowa, Algebraic Models of Axiomatic Theories; H. Rasiowa, Constructive Theories. [REVIEW]Kurt Schutte - 1968 - Journal of Symbolic Logic 33 (2):285-286.
  13.  5
    Review: H. Rasiowa, $mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
  14.  8
    Review: H. Rasiowa, Algebraische Charakterisierung der Intuitionistischen Logik mit Starker Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-119.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  13
    Review: H. Rasiowa, R. Sikorski, An Application of Lattices to Logic. [REVIEW]Donald Monk - 1970 - Journal of Symbolic Logic 35 (1):137-137.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  9
    Review: H. Rasiowa, R. Sikorski, A Proof of the Skolem-Lowenheim Theorem. [REVIEW]Solomon Feferman & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  9
    Review: H. Rasiowa, A Proof of the Compactness Theorem for Arithmetical Classes. [REVIEW]Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):78-78.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  16
    Review: H. Rasiowa, R. Sikorski, Algebraic Treatment of the Notion of Satisfiability. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):78-80.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  9
    Review: H. Rasiowa, R. Sikorski, On Existential Theorems in Non-Classical Functional Calculi. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):80-80.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  27
    A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310. [REVIEW]Gene F. Rose, V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
  21.  13
    A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310. [REVIEW]V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  17
    Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
  23.  14
    Review: S. Mazur, A. Grzegorczyk, H. Rasiowa, Computable Analysis. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  42
    A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski. Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. Polnischen Mathematikerkongresses vom 6. bis 12. September 1953 in Warschau, Deutscher Verlag der Wissenschaften, Berlin1955, pp. 11–44. - Andrzej Mostowski, in collaboration with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, and R. Sikorski. The present state of investigations on the foundations of mathematics. English translation. Rozprawy matematyczne no. 9. Państwowe Wydawnictwo Naukowe, Warsaw1955, 48 pp. - A. Mostowski, with participation of A. Grzegorczyk, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski, and S. Jaśkowski. Sovréménnoé sostoánié isslédovanij po osnovaniám matématiki. Russian translation. Uspéhi matématičéskih nauk, vol. 9 no. 3 , pp. 3–38. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (4):372-373.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  14
    Rose Alan. A reduction in the number of the axioms of the propositional calculus. Norsk matematisk tidsskrift, vol. 31 , pp. 113–115.Skolem Th.. Bemerkning til artiklene av H. Rasiowa og A. Rose i denne drgang . Norsk matematisk tidsskrift, vol. 31 , p. 115. [REVIEW]W. V. Quine - 1950 - Journal of Symbolic Logic 15 (2):139-139.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  13
    Rasiowa H.. -lattices and constructive logic with strong negation. Fundamenta mathematicae, vol. 46 , pp. 61–80.David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
  27.  13
    Rasiowa H. and Sikorski R.. A proof of the Skolem-Löwenheim theorem. Fundamenta mathematicae, vol. 38 , pp. 230–232.Solomon Feferman & Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (4):339-340.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  4
    Rasiowa H.. A proof of the compactness theorem for arithmetical classes. Fundamenta mathematicae, vol. 39 , pp. 8–14.Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):78-78.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  18
    Rasiowa H. and Sikorski R.. An application of lattices to logic. Fundamenta mathematicae, vol. 42 no. 1 , pp. 83–100.Donald Monk - 1970 - Journal of Symbolic Logic 35 (1):137-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  3
    Rasiowa H.. Sur un certain système d'axiomes du calcul des propositions. Norsk matematisk tidsskrift, vol. 31 , pp. 1–3. [REVIEW]Alfons Borgers - 1949 - Journal of Symbolic Logic 14 (3):197-197.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  16
    Rasiowa H.. Axiomatisation d'un système partiel de la théorie de la déduction. Towarzystwo Navkowe Warszawskie, Sprawozdania z posiedzeń wydzialu III nauk matematyczno-fizycznych , vol. 40 , pp. 22–37. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (2):139-139.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  11
    Rasiowa H. and Sikorski R.. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 , pp. 193–200. [REVIEW]Solomon Feferman - 1952 - Journal of Symbolic Logic 17 (1):72-72.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33.  3
    Rasiowa H.. A proof of ε-theorems. Ebd., Bd. 3 , S. 299–302.Rasiowa H.. On the ε-theorems. Fundamenta mathematicae, Bd. 43 , S. 156–165. , S. 333.). [REVIEW]Kurt Schütte - 1968 - Journal of Symbolic Logic 33 (2):286-286.
  34.  10
    Rasiowa H.. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 234–240. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-119.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  19
    Rasiowa H.. Algebraic treatment of the functional calculi of Heyting and Lewis. Fundamenta mathematicae, vol. 38 , pp. 99–126. [REVIEW]Leon Henkin - 1953 - Journal of Symbolic Logic 18 (1):72-73.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  12
    Rasiowa H. and Sikorski R.. On existential theorems in non-classical junctional calculi. Fundamenta mathematicae, vol. 41 no. 1 , pp. 21–28. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):80-80.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37.  10
    Rasiowa H. and Sikorski R.. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum, vol. 5 , pp. 143–158. [REVIEW]Alfred Horn - 1962 - Journal of Symbolic Logic 27 (1):98-98.
  38.  11
    Białynicki-Birula A. and Rasiowa H.. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 , pp. 287–310. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
  39.  35
    Łoś J., Mostowski A., and Rasiowa H.. A proof of Herbrand's theorem. Journal de mathématiques pures et appliquées, Folge 9 Bd. 35 , S. 19–24.Łoś J., Rasiowa H., and Mostowski A.. Addition au travail “A proof of Herbrand theorem.” Journal de mathématiques pures et appliquées, Folge 9 Bd. 40 , S. 129–134. [REVIEW]Kurt Schutte - 1971 - Journal of Symbolic Logic 36 (1):168-169.
  40.  17
    Mazur S.. Computable analysis, edited by Grzegorczyk A. and Rasiowa H., Rozprawy matematyczne no. 33, Państwowe Wydawnictwo Naukowe, Warsaw 1963, 111 pp. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
  41. An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
  42. The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
  43. Qaḍāyā falsafīyah.Najīb Ḥaṣādī - 2004 - Miṣrātah: al-Dār al-Jamāhīrīyah lil-Nashr wa-al-Tawzīʻ wa-al-Iʻlān.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Кибернетический подход к обучению и его влияние на развитие общей теории и методов педагогики.ЛH ЛАНДА - 1972 - Paideia 2:153.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  45.  34
    A partially ordered extention of the integers.George Epstein & Helena Rasiowa - 1995 - Studia Logica 54 (3):303 - 332.
    This paper presents a monotonic system of Post algebras of order +* whose chain of Post constans is isomorphic with 012 ... -3-2-1. Besides monotonic operations, other unary operations are considered; namely, disjoint operations, the quasi-complement, succesor, and predecessor operations. The successor and predecessor operations are basic for number theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  53
    What is the Matter with Matter? Barad, Butler, and Adorno.P. Højme - 2024 - Matter: Journal of New Materialist Research 9.
    This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  52
    Nicomachean ethics.H. Aristotle & Rackham - 1998 - New York: Oxford University Press. Edited by Michael Pakaluk.
    Terence Irwin's edition of the Nicomachean Ethics offers more aids to the reader than are found in any modern English translation. It includes an Introduction, headings to help the reader follow the argument, explanatory notes on difficult or important passages, and a full glossary explaining Aristotle's technical terms. The Third Edition offers additional revisions of the translation as well as revised and expanded versions of the notes, glossary, and Introduction. Also new is an appendix featuring translated selections from related texts (...)
    Direct download  
     
    Export citation  
     
    Bookmark   966 citations  
  48.  31
    O pewnym fragmencie implikacyjnego rachunku zdań.Helena Rasiowa - 1955 - Studia Logica 3 (1):208 - 226.
  49. Logic and Conversation.H. Paul Grice - 1989 - In Studies in the Way of Words. Harvard University Press. pp. 22-40.
    No categories
     
    Export citation  
     
    Bookmark   340 citations  
  50.  34
    Recenzje.S. Łuszczewska-Romahnowa, Helena Rasiowa, Stanisław Kamiński & Laudwik Borkowski - 1958 - Studia Logica 8 (1):319-333.
1 — 50 / 988