130 found
Order:
  1.  7
    [Fragments of Many-Valued Statement Calculi.Alan Rose & J. Barkley Rosser - 1958 - [S.N.].
  2.  17
    Yasuyuki Imai and Kiyoshi Iséki. On Axiom Systems of Propositional Calculi. I. Proceedings of the Japan Academy, Vol. 41 , Pp. 436–439. - Yoshinari Arai. On Axiom Systems of Propositional Calculi. II.Proceedings of the Japan Academy, Vol. 41 , Pp. 440–442. - Yoshinari Arai. On Axiom Systems of Propositional Calculi. III.Proceedings of the Japan Academy, Vol. 41 , Pp. 570–574. - Kiyoshi Iséki. On Axiom Systems Ofpropositional Calculi. IV.Proceedings of the Japan Academy, Vol. 41 , Pp. 575–577. - Kiyoshi Iséki and Shôtarô Tanaka. On Axiom Systems of Propositional Calculi. V.Proceedings of the Japan Academy, Vol. 41 , Pp. 661–662. - Shôtarô Tanaka. On Axiom Systems Ofpropositional Calculi. VI.Proceedings of the Japan Academy, Vol. 41 , Pp. 663–666. - Yoshinari Arai and Kiyoshi Iséki. On Axiom Systems of Propositional Calculi. VII.Proceedings of the Japan Academy, Vol. 41 , Pp. 667–669. - Shôtarô Tanaka. On Axiom Systems of Propositional Calculi. VIII.Proceedings of the Japan Academy, Vol. [REVIEW]Alan Rose - 1969 - Journal of Symbolic Logic 34 (1):122-124.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  39
    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  
  5.  8
    Review: Trevor Evans, P. B. Schwartz, On Slupecki T-Functions. [REVIEW]Alan Rose - 1959 - Journal of Symbolic Logic 24 (3):249-250.
  6.  14
    Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. Evert W. Beth. [REVIEW]Alan Rose - 1966 - Philosophy of Science 33 (1/2):84-85.
  7.  21
    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.
  8.  3
    Fragments of Many-Valued Statement Calculi.Alan Rose & J. Barkley Rosser - 1959 - Journal of Symbolic Logic 24 (3):248-249.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  2
    Computer Logic.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):381-382.
  10.  28
    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.
  11.  27
    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.
  12.  16
    Extensions of Some Theorems of Anderson and Belnap.Alan Rose - 1962 - Journal of Symbolic Logic 27 (4):423-425.
  13.  24
    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  
  14.  23
    Some Many-Valued Propositional Calculi Without Single Generators.Alan Rose - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):105-106.
  15.  24
    Generalised Functional Completeness of Sets Ofm-Valued Sheffer Functions.Alan Rose - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (12):177-182.
  16.  13
    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  
  17.  12
    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  
  18.  21
    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.
  19.  20
    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  
  20.  20
    Two Non-Henkinian Fragments of the 2-Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1):45-55.
  21.  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.
  22.  19
    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  
  23.  2
    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  
  24.  18
    A Single Axiom for a Partial System of the Propositional Calculus.Alan Rose - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (3):196-197.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  18
    Single Generators for Henkinian Fragments of the 2-Valued Propositional Calculus.Alan Rose - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (6):85-92.
  26.  18
    The Use of Universal Decision Elements as Flip-Flops.Alan Rose - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (12-16):169-174.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  17
    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  
  28.  17
    Locally Full Χ0-Valued Propositional Calculi.Alan Rose - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (13-15):217-226.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  16
    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  
  30.  16
    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.
  31.  16
    A Simplified Selfm-AL Set of Primitive Functors for Them-Valued Propositional Calculus.Alan Rose - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (3-4):257-266.
  32.  16
    Formalisations With Non-Standard Degrees of Completeness.Alan Rose - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):177-186.
  33.  22
    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.
  34.  2
    Bruno Scarpellini. Die Nichtaxiomatisierbarkeit des Unendlichwertigen Prädikatenkalküls von Łukasiewicz. The Journal of Symbolic Logic, Vol. 27 No. 2 , Pp. 159–170.Alan Rose - 1964 - Journal of Symbolic Logic 29 (3):145.
  35.  15
    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  
  36.  15
    A Three-Valued Model for Set Theory.Alan Rose - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):437-440.
  37.  15
    Formalisations of Certain Propositional Calculi with Partially Variable Functors.Alan Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):177-180.
  38.  15
    Some Formalisations of N0-Valued Propositional Calculi.Alan Rose - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):204-209.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  16
    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.
  40.  12
    Martin Norman M.. Some Analogues of the Sheffer Stroke Function in N-Valued Logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the Section of Sciences, Vol. 53 , Pp. 1100–1107; Also Indagationes Mathematicae, Vol. 12 , Pp. 393–400. [REVIEW]Alan Rose - 1951 - Journal of Symbolic Logic 16 (4):275-276.
  41.  13
    Further Applications of Logical Computers to the Construction of Electrical Control Tables For Signalling Frames.Alan Rose - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):162-198.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  18
    Review: D. P. Henry, Tautology Tessellations. [REVIEW]Alan Rose - 1956 - Journal of Symbolic Logic 21 (4):401-401.
  43.  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.
  44.  10
    Šéstakov V. I.. O Dvojnoj Arifmétičéskoj Intérprétacii Tréhznačnogo Isčisléniá Vyskazyvanij, Ispol'zuémoj Pri Modélirovanii Elogo Isčisléniá Posrédstvom Réléjno-Kommutatornyh Shém. Priménénié Logiki V Nauké I Téhnike, Izdatél'stvo Akadémii Nauk SSSR, Moscow 1960, Pp. 341–376.Šestakov V. I.. A Dual Arithmetic Interpretation of the 3-Valued Propositional Calculus Utilized in the Simulation of This Calculus by Relay-Contact Networks. English Translation of the Preceding by Ebner Leo. American Mathematical Society Translations, Ser. 2 Vol. 48 , Pp. 45–72. [REVIEW]Alan Rose - 1972 - Journal of Symbolic Logic 37 (1):187-187.
  45.  9
    Summersbee S. And Walters A.. Programming the Functions of Formal Logic, II . Notre Dame Journal of Formal Logic, Vol. 4 No. 4 , Pp. 293–305. [REVIEW]Alan Rose - 1970 - Journal of Symbolic Logic 35 (4):596-597.
  46.  14
    An Extension of Computational Logic.Alan Rose - 1952 - Journal of Symbolic Logic 17 (1):32-34.
  47.  14
    An Extension of a Theorem of Margaris.Alan Rose - 1960 - Journal of Symbolic Logic 25 (3):209-211.
  48.  14
    A Formalisation of Post's M‐Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (3):221-226.
  49.  13
    A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept.Alan Rose - 1986 - Mathematical Logic Quarterly 32 (19‐24):323-330.
  50.  13
    Review: T. D. Maistrova, Application of Many-Valued Logics in the Theory of Relay Networks. [REVIEW]Alan Rose - 1972 - Journal of Symbolic Logic 37 (1):187-187.
1 — 50 / 130