82 found
Order:
  1.  52
    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.
  2.  38
    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.
  3.  18
    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.
  4.  33
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  16
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Kalicki Jan. An Undecidable Problem in the Algebra of Truth-Tables. [REVIEW]Gene F. Rose - 1955 - Journal of Symbolic Logic 20 (3):283-284.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. 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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Review: A. A. Markov, Theory of Algorithms. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (1):77-79.
  9. Review: David Nelson, Non-Null Implication. [REVIEW]Gene F. Rose - 1968 - Journal of Symbolic Logic 33 (1):129-129.
  10. Review: J. A. Faris, Truth-Functional Logic. [REVIEW]Gene F. Rose - 1966 - Journal of Symbolic Logic 31 (1):108-108.
  11. Review: Jean Porte, Systemes de Post, Algorithmes de Markov. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):239-240.
     
    Export citation  
     
    Bookmark  
  12. Review: Karel Culik II, N-Ary Grammars and the Descriptions of Mapping of Languages. [REVIEW]Gene F. Rose - 1973 - Journal of Symbolic Logic 38 (3):525-525.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Review: V. I. Sestakov, An Algebraic Method for the Synthesis of R-Positional Switching Circuits. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (3):333-333.
  14.  15
    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.
  15.  29
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  26
    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.
  17.  24
    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.
  18.  23
    Götlind Erik. Some Sheffer Functions in N-Valued Logic. Portugaliae Mathematica, Vol. 11 , Pp. 141–149.Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (3):329-330.
  19.  26
    Review: Alan Rose, Le Degre de Saturation du Calcul Propositionnel Implicatif a Trois Valeurs de Sobocinski. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (1):56-56.
  20.  19
    Review: Alan Rose, An Alternative Formalisation of Sobocinski's Three-Valued Implicational Propositional Calculus. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):380-380.
  21.  28
    Review: Alan Rose, Le Degre de Saturation du Calcul Propositionnel Implicatif a M Valeurs de Lukasiewicz. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):379-380.
  22.  24
    Review: Alan Rose, The Degree of Completeness of the $Aleph_0$-Valued Lukasiewicz Propositional Calculus. [REVIEW]Gene F. Rose - 1956 - Journal of Symbolic Logic 21 (3):328-328.
  23.  20
    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.
  24.  20
    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.
  25.  20
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  10
    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.
  27.  11
    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.
  28.  18
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  13
    Review: Alan Rose, Sur les Definitions de L'Implication et de la Negation dans Certains Systemes de Logique dont les Valeurs Forment des Treillis. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):250-250.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  16
    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.
  31.  20
    Review: Alan Rose, The Degree of Completeness of the $M$-Valued Lukasiewicz Propositional Calculus, Correction and Addendum. [REVIEW]Gene F. Rose - 1974 - Journal of Symbolic Logic 39 (2):350-350.
  32.  15
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  9
    Review: Erik Gotlind, Some Sheffer Functions in M-Valued Logic. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (3):329-330.
  34.  14
    Č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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  12
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  12
    Ł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.
  37.  6
    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.
  38.  11
    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.
  39.  11
    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.
  40.  11
    Yonemitsu Naoto. Note on Completeness of M-Valued Propositional Calculi. Mathematica Japonicae, Vol. 3 , Pp. 57–61.Gene F. Rose - 1956 - Journal of Symbolic Logic 21 (3):328-328.
  41.  12
    Review: Boleslaw Sobocinski, Axiomatization of a Conjunctive-Negative Calculus of Propositions. [REVIEW]Gene F. Rose - 1955 - Journal of Symbolic Logic 20 (3):303-304.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  5
    David Nelson. Non-Null Implication. The Journal of Symbolic Logic, Vol. 31 . Pp. 562–572.Gene F. Rose - 1968 - Journal of Symbolic Logic 33 (1):129.
  43.  7
    Review: L. K. Durst, On Certain Subsets of Finite Boolean Algebras. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):255-255.
  44.  12
    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.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  9
    Ł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.
  46.  10
    Review: Klaus Hartig, Zur Axiomatisierung der Nicht-Identitaten des Aussagenkalkuls. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (3):367-367.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  10
    Review: Boleslaw Sobocinski, Axiomatization of a Partial System of Three-Value Calculus of Propositions. [REVIEW]Gene F. Rose - 1953 - Journal of Symbolic Logic 18 (3):283-283.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  8
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  8
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50. Review: I. M. Bochenski, Grundriss der Logistik. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (3):220-220.
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 82