129 found
Order:
  1.  7
    [Fragments of Many-Valued Statement Calculi.Alan Rose & J. Barkley Rosser - 1958 - [S.N.].
  2.  23
    An Alternative Formalisation of Sobociński's Three-Valued Implicational Propositional Calculus.Alan Rose - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):166-172.
  3.  17
    Extensions of Some Theorems of Anderson and Belnap.Alan Rose - 1962 - Journal of Symbolic Logic 27 (4):423-425.
  4.  3
    Computer Logic.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):381-382.
  5.  15
    An Alternative Formalisation of Sobociński's Three‐Valued Implicational Propositional Calculus.Alan Rose - 1956 - Mathematical Logic Quarterly 2 (10‐15):166-172.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  16
    Formalisations of Further ℵ0-Valued Łukasiewicz Propositional Calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207 - 210.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  3
    Formalisations of Further $Mathbf{Aleph}_0$-Valued Lukasiewicz Propositional Calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207-210.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  4
    Simplified Formalizations of Fragments of the Propositional Calculus.Alan Rose - 1977 - Notre Dame Journal of Formal Logic 18 (2):255-261.
  9.  6
    An Extension of Computational Logic.Frederic B. Fitch & Alan Rose - 1952 - Journal of Symbolic Logic 17 (3):204.
  10.  13
    A Generalisation of Slupecki's Criterion for Functional Completeness.Barbara J. Lowesmith & Alan Rose - 1984 - Mathematical Logic Quarterly 30 (9‐11):173-175.
  11.  20
    A Generalisation of Slupecki's Criterion for Functional Completeness.Barbara J. Lowesmith & Alan Rose - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (9-11):173-175.
  12.  2
    A New Proof of a Theorem of Dienes.Nicholas Rescher & Alan Rose - 1951 - Journal of Symbolic Logic 16 (4):276.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    An Alternative Generalisation of the Concept of Duality.Alan Rose - 1971 - Journal of Symbolic Logic 36 (4):690-691.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  5
    An Axiom System for Three-Valued Logic.Alan Rose - 1953 - Journal of Symbolic Logic 18 (4):344-344.
  15.  18
    An Extension of Computational Logic.Alan Rose - 1952 - Journal of Symbolic Logic 17 (1):32-34.
  16.  19
    An Extension of a Theorem of Margaris.Alan Rose - 1960 - Journal of Symbolic Logic 25 (3):209-211.
  17.  5
    An Extension of the Calculus of Non-Contradiction.Alan Rose - 1953 - Journal of Symbolic Logic 18 (1):66-67.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  6
    A Formalization of Sobocinski's Three-Valued Implicational Propositional Calculus.Alan Rose - 1954 - Journal of Symbolic Logic 19 (2):144-144.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  1
    A Formalization of the C-0 Propositional Calculus.Alan Rose - 1952 - Journal of Symbolic Logic 17 (1):66-66.
  20.  20
    A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):177-198.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  25
    A Formalisation of Post'sm-Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):221-226.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  23
    A Formalisation of The Χ0-Valued ŁUkasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):293-294.
  23.  44
    A Formalisation Of The M-valued Lukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1966 - Mathematical Logic Quarterly 12 (1):169-176.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. A Formalisation Of The M-Valued Łukasiewicz Propositional Calculus With Super-Designated Truth-Values.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):295-298.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  3
    A Formalisation Of The Χ0-Valued Łukasiewicz Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):289-292.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  1
    A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Mathematical Logic Quarterly 9 (12‐15):177-198.
  27.  22
    A Formalisation of Post's M‐Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (3):221-226.
  28.  18
    A Formalisation Of TheM-Valued ŁUkasiewicz Propositional Calculus With Super-Designated Truth-Values.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):295-298.
  29.  26
    A Formalisation of The Χ0-Valued ŁUkasiewicz Propositional Calculus With Variable Functors.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):289-292.
  30.  9
    A Formalisation Of The Χ0-Valued Łukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):293-294.
  31.  4
    A Formalisation of Post's M-Valued Propositional Calculus.Alan Rose - 1956 - Journal of Symbolic Logic 21 (4):400-401.
  32.  5
    A Formalisation of the 2-Valued Propositional Calculus with Self-Dual Primitives.Alan Rose - 1954 - Journal of Symbolic Logic 19 (4):295-295.
  33.  17
    A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens.Alan Rose - 1982 - Mathematical Logic Quarterly 28 (22‐24):317-322.
  34.  29
    A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens.Alan Rose - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (22-24):317-322.
  35.  7
    A Gödel Theorem for an Infinite‐Valued. Erweiterter Aussagenkalkül.Alan Rose - 1955 - Mathematical Logic Quarterly 1 (2):89-90.
  36.  18
    A Gödel Theorem for an Infinite-Valued. Erweiterter Aussagenkalkül.Alan Rose - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):89-90.
  37.  1
    A High Speed Parallel Adder.Alan Rose - 1959 - Mathematical Logic Quarterly 5 (14‐24):240-249.
  38.  16
    A High Speed Parallel Adder.Alan Rose - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):240-249.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  6
    A Lattice-Theoretic Characterisation of Three-Valued Logic.Alan Rose - 1951 - Journal of Symbolic Logic 16 (2):151-151.
  40.  7
    A Note on the Existence of Tautologies Without Constants.Alan Rose - 1975 - Mathematical Logic Quarterly 21 (1):141-144.
  41.  8
    A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):117-118.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. A Note on Formalisation by the Method of Description of Truth‐Tables.Alan Rose - 1978 - Mathematical Logic Quarterly 24 (7):109-112.
  43. A Note on the Use of Logical Computers to Determine the Most Efficient Method of Using Factory Machines.Alan Rose - 1962 - Journal of Symbolic Logic 27 (2):251-251.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  21
    A Note on Formalisation by the Method of Description of Truth-Tables.Alan Rose - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (7):109-112.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  25
    A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):117-118.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  5
    Applications of Logical Computers to the Construction of Electrical Control Tables for Signalling Frames.Alan Rose - 1958 - Mathematical Logic Quarterly 4 (12‐16):222-243.
  47.  22
    Applications of Logical Computers to the Construction of Electrical Control Tables for Signalling Frames.Alan Rose - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (12-16):222-243.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  14
    A. Porter and P. K. T. Vaswani. The Optimization of Logical Goal-Seeking Procedures. Journal of Electronics and Control, Ser. 1 Vol. 6 , Pp. 168–185. [REVIEW]Alan Rose - 1970 - Journal of Symbolic Logic 35 (4):597.
  49.  14
    A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept.Alan Rose - 1986 - Mathematical Logic Quarterly 32 (19‐24):323-330.
  50.  29
    A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept.Alan Rose - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):323-330.
1 — 50 / 129