86 found
Order:
  1.  21
    Some Superconstructive Propositional Calculi.Realizable Formulas of Propositional Logic.The Relationship Between Deducibility in the Intuitionist Propositional Calculus and Finite Implicational Structures. [REVIEW]Gene F. Rose, V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138.
  2. Truth-Functional Logic.Gene F. Rose - 1966 - Journal of Symbolic Logic 31 (1):108-108.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. An Extension of the Equivalence Calculus.Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (2):248-248.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  7
    A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logic.Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):212-212.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  5
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  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.
  7.  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  
  8.  4
    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.
  9.  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.
  10.  14
    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.
  11.  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  
  12.  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  
  13. 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  
  14.  2
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. 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  
  16.  19
    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.
  17.  4
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  5
    Moisil Gr. C.. Sur les idéaux des algèbres Łukasiewicziennes trivalents. Analele Universităţii “C. I. Parhon”, seria Acta logica, vol. 3 , pp. 83–95. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (3):367-368.
  19.  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.
  20.  6
    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.
  21.  3
    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.
  22.  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  
  23.  3
    Porte Jean. Un système logistique très faible pour le calcul propositionnel classique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 254 , pp. 2500–2502. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (2):248-248.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  37
    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.
  25.  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.
  26.  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  
  27. Review: A. A. Markov, Theory of Algorithms. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (1):77-79.
  28.  6
    Review: Alonzo Church, Non-Normal Truth-Tables for the Propositional Calculus. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):233-234.
  29.  19
    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.
  30.  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  
  31.  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.
  32.  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.
  33.  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.
  34.  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  
  35.  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.
  36.  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.
  37.  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  
  38.  23
    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.
  39.  51
    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.
  40.  25
    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.
  41.  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  
  42.  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  
  43. Review: David Nelson, Non-Null Implication. [REVIEW]Gene F. Rose - 1968 - Journal of Symbolic Logic 33 (1):129-129.
  44. Review: Dana Scott, Completeness Proofs for the Intuitionistic Sentential Calculus. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (4):351-351.
  45.  9
    Review: Erik Gotlind, Some Sheffer Functions in M-Valued Logic. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (3):329-330.
  46.  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.
  47.  8
    Review: F. A. Kabakov, M. Machover, On Modelling of Pseudo-Boolean Algebras by Realizability. [REVIEW]Gene F. Rose - 1972 - Journal of Symbolic Logic 37 (3):627-628.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  7
    Review: Gr. C. Moisil, Sur les Ideaux des Algebres Lukasiewicziennes Trivalents. [REVIEW]Gene F. Rose - 1962 - Journal of Symbolic Logic 27 (3):367-368.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  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  
  50.  3
    Review: Gerold Stahl, An Opposite and an Expanded System. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (3):298-299.
1 — 50 / 86