- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Gene F. Rose
44 found
Order:
- Behmann Heinrich. Ein logischer Abakus. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 , pp. 42–52.Gene F. Rose - 1958 - Journal of Symbolic Logic 23 (4):450-450.
- Nicholas Rescher. Quasi-truth-functional systems of prepositional logic. The journal of symbolic logic, vol. 27 , pp. 1–10.Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (1):50-51.
- Porte Jean. Systèmes de Post, algorithmes de Markov. Cybernetica, vol. 1 no. 2 , offprint pp. 1–36.Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):239-240.
- Umezawa Toshio. On some properties of intermediate logics. Proceedings of the Japan Academy, vol. 35 , pp. 575–577.Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (3):297-298.
- Łukasiewicz Jan. On the intuitionistic theory of deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 , pp. 202–212; also Indagationes mathematicae, vol. 14 , pp. 202–212. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):216-216.
- 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.
- Rose Alan. The degree of completeness of the ℵ0-valued Łukasiewicz propositional calculus. The journal of the London Mathematical Society, vol. 28 , pp. 176–184. [REVIEW]Gene F. Rose - 1956 - Journal of Symbolic Logic 21 (3):328-328.
- Review: Erik Gotlind, A Lesniewski-Mihailescu-Theorem for m-Valued Propositional Calculi. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (3):329-329.
- Rose Alan. Le degré de saturation du calcul propositionnel implicatif à trois valeurs de Sobociński. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 235 , pp. 1000–1002. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (1):56-56.
- Review: Klaus Hartig, Zur Axiomatisierung der Nicht-Identitaten des Aussagenkalkuls. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (3):367-367.
- Church Alonzo. Non-normal truth-tables for the propositional calculus. Boletin de la Sociedad Matemática Mexicana, vol. 10 no. 1–2 , pp. 41–52. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):233-234.
- Durst L. K.. On certain subsets of finite Boolean algebras. Proceedings of the American Mathematical Society, vol. 6 , pp. 695–697. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):255-255.
- J. A. Faris. Truth-functional logic. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1962, vi + 122 pp. [REVIEW]Gene F. Rose - 1966 - Journal of Symbolic Logic 31 (1):108-108.
- John Riser. A Gentzen-type calculus of sequents for single-operator propositional logic. The Journal of symbolic logic, vol. 32 , pp. 75–80. [REVIEW]Gene F. Rose - 1968 - Journal of Symbolic Logic 33 (1):129-129.
- Kabakov F. A.. O modélirovanii po réalizuémosti psévdobulévyh algébr. Doklady Akadémii Nauk SSSR, vol. 192 , pp. 16–18.Kabakov F. A.. On modelling of pseudo-Boolean algebras by realizability. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 , pp. 562–564. [REVIEW]Gene F. Rose - 1972 - Journal of Symbolic Logic 37 (3):627-628.
- Kalicki Jan. An undecidable problem in the algebra of truth-tables. [REVIEW]Gene F. Rose - 1955 - Journal of Symbolic Logic 20 (3):283-284.
- Lejewski Czesław. On implicational definitions. English, with Polish and Russian summaries. Studia logica, vol. 8 , pp. 189–211. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):246-247.
- Leblanc Hugues. An extension of the equivalence calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 104–105. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (2):248.
- Leavitt M. S.. Algebras de Boole e análise de circuitos. Portuguese translation of the foregoing by Maria Pilar Ribeiro. Gazeta de matemática, vol. 14 no. 55 , pp. 4–7.Riguet Jacques. Sur les rapports entre les concepts de machine de multipole et de structure algébrique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 237 , pp. 425–427.Riguet Jacques. Algorithmes de Markov et théorie des machines. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 242 , pp. 435–437. [REVIEW]Gene F. Rose - 1958 - Journal of Symbolic Logic 23 (1):62-62.
- A. A. Markov. Téoriá algorifmov . Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 42. Izdatél'stvo Akadémii Nauk SSSR, Moscow-Leningrad1954, 375 pp. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (1):77-79.
- M. M. Kipnis. Ob odnom svojstvé propozicionaľnyh formul. Doklady Akadémii Nauk SSSR, vol. 174 , pp. 277–278. - M. M. Kipnis. A property of prepositional formulas. English translation of the preceding by S. Walker. Soviet mathematics, vol. 8 no. 3 , pp. 620–622. [REVIEW]Gene F. Rose - 1969 - Journal of Symbolic Logic 33 (4):606.
- McCall Storrs. A simple decision procedure for one-variable implication/negation formulae in intuitionist logic. Notre Dame journal of formal logic, vol. 3 , pp. 120–122. [REVIEW]Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):212-213.
- Rose Alan. A formalization of Sobocinski's three-valued implicational propositional calculus. The journal of computing systems, vol. 1 no. 3 , pp. 165–168. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (2):144-144.
- Rose Alan. An alternative Normalisation of Sobociński's three-valued implicational propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 2 pp. 166–172. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):380-380.
- Rose Alan. A single axiom for a partial system of the propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 196–197. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (2):176-176.
- Rose Alan. Le degré de saturation du calcul propositionnel implicatif à m valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 240 , pp. 2280–2281. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):379-380.
- Rose Alan. Sur les définitions de l'implication et de la négation dans certains systèmes de logique dont les valeurs forment des treillis. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 246 , pp. 2091–2094. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):250-250.
- Rose Alan. Some formalisations of ℵ0-valued prepositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 204–209. [REVIEW]Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):213-213.
- Rose Alan. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 , pp. 587–591. [REVIEW]Gene F. Rose - 1974 - Journal of Symbolic Logic 39 (2):350-350.
- Review: Gr. C. Moisil, Sur la Logique a Trois Valeurs de Lukasiewicz. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (3):368-368.
- Review: I. M. Bochenski, Grundriss der Logistik. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):220-220.Export citation
Bookmark - Riguet Jacques. Le calcul des relations en tant qu'outil méthodologique. La méthode dans les sciences modernes, edited by LeLionnais François, Travail et méthodes. Revue technique mensuelle de la direction et de l'organisation des entreprises. Numéro hors série, Éditions Science et Industrie, Paris 1958, pp. 69–82. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):240-240.
- Review: M. M. Kipnis, S. Walker, A Property of Propositional Formulas. [REVIEW]Gene F. Rose - 1968 - Journal of Symbolic Logic 33 (4):606-606.
- Sobociński Bolesław. Axiomatization of a partial system of three-value calculus of propositions. The journal of computing systems , vol. 1 no. 1 , pp. 23–55. [REVIEW]Gene F. Rose - 1953 - Journal of Symbolic Logic 18 (3):283-283.
- Sobociński Bolesław. Axiomatization of a conjunctive-negative calculus of propositions. The journal of computing systems, vol. 1 no. 4 , pp. 229–242. [REVIEW]Gene F. Rose - 1955 - Journal of Symbolic Logic 20 (3):303-304.
- (1 other version)Scott Dana. Completeness proofs for the intuitionistic sentential calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 231–241. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (4):351-351.
- Stahl Gerold. An opposite and an expanded system. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 244–247. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (3):298-299.
- Schröter Karl. Über den Zusammenhang der Implikationsaxiomen vollständiger Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 173–176.Schröter Karl. Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 , pp. 18–29. [REVIEW]Gene F. Rose - 1970 - Journal of Symbolic Logic 35 (4):583-583.
- Sugihara Takeo. A three-valued logic with meaning-operator. The Memoirs of Fukui University, Librasi Arts Department, I. Humanities and social sciences, no. 8 , pp. 59–60. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (3):293-293.
- Scharle Thomas W.. A diagram of the functors of the two-valued propositional calculus. Notre Dame journal of formal logic, vol. 3 , pp. 243–255. [REVIEW]Gene F. Rose - 1963 - Journal of Symbolic Logic 28 (2):175-175.
- Šéstakov V. I.. Algébraičéskij métod sintéza mnogotaktnyh sistém r-pozicionnyh rélé . Doklady Akadémii Nauk SSSR, vol. 112 , pp. 62–65. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (3):333-333.
- (1 other version)Łukasiewicz Jan. Comment on K. J. Cohen's remark. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , p. 113; also Indagationes mathematicae, p. 113. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):217-217.
- Čulík Karel II. n-ary grammars and the description of mapping of languages. English with English and Czech summaries. Kybernetika , vol. 6 , pp. 99–117. [REVIEW]Gene F. Rose - 1973 - Journal of Symbolic Logic 38 (3):525-525.
- V. A. Ánkov. O nékotoryh supérkonstruktivnyh isčisléniáh vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 151 , pp. 796–798. - V. A. Jankov. Some superconstructive propositional calculi. English translation of the preceding by Sue Walker. Soviet mathematics, vol. 4 no. 4 , pp. 1103–1105. - V. A. Ánkov. O réalizuémyh formulah logiki vyskazyvanij.Doklady Akadémii Nauk SSSR, vol. 151 , pp. 1035–1037. - V. A. Jankov. Realizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 , pp. 1146–1148. - V. A. Ánkov. O sváži méždu vyvodimost′ú ν intuičionistskom isčislénii vyskazyvanij i konéčnymi implikativnymi strukturami. Doklady Akadémii Nauk SSSR, vol. 151 , pp. 1293–1294. - V. A. Jankov. The relationship between deducibility in the intuitionist propositional calculus and finite implicational structures. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 4 , pp. 1203–1204. [REVIEW]Gene F. Rose - 1970 - Journal of Symbolic Logic 35 (1):138-139.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-qtxsx uwo