- 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 Alan Rose
129 found
Order:
- [Fragments of Many-Valued Statement Calculi.Alan Rose & J. Barkley Rosser - 1958 - [S.N.].
- Computer Logic.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):381-382.
- An alternative formalisation of Sobociński's three‐valued implicational propositional calculus.Alan Rose - 1956 - Mathematical Logic Quarterly 2 (10‐15):166-172.
- 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.
- Extensions of some theorems of Anderson and Belnap.Alan Rose - 1962 - Journal of Symbolic Logic 27 (4):423-425.
- Formalisations of further ℵ0-valued Łukasiewicz propositional calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207 - 210.
- Formalisations of Further $mathbf{aleph}_0$-Valued Lukasiewicz Propositional Calculi.Alan Rose - 1978 - Journal of Symbolic Logic 43 (2):207-210.
- Simplified formalizations of fragments of the propositional calculus.Alan Rose - 1977 - Notre Dame Journal of Formal Logic 18 (2):255-261.
- An Extension of Computational Logic.Frederic B. Fitch & Alan Rose - 1952 - Journal of Symbolic Logic 17 (3):204.
- A generalisation of Slupecki's criterion for functional completeness.Barbara J. Lowesmith & Alan Rose - 1984 - Mathematical Logic Quarterly 30 (9‐11):173-175.
- 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.
- A New Proof of a Theorem of Dienes.Nicholas Rescher & Alan Rose - 1951 - Journal of Symbolic Logic 16 (4):276.
- An Alternative Generalisation of the Concept of Duality.Alan Rose - 1971 - Journal of Symbolic Logic 36 (4):690-691.
- An Axiom System for Three-Valued Logic.Alan Rose - 1953 - Journal of Symbolic Logic 18 (4):344-344.
- An extension of computational logic.Alan Rose - 1952 - Journal of Symbolic Logic 17 (1):32-34.
- An extension of a theorem of Margaris.Alan Rose - 1960 - Journal of Symbolic Logic 25 (3):209-211.
- An Extension of the Calculus of Non-Contradiction.Alan Rose - 1953 - Journal of Symbolic Logic 18 (1):66-67.
- A Formalization of Sobocinski's Three-Valued Implicational Propositional Calculus.Alan Rose - 1954 - Journal of Symbolic Logic 19 (2):144-144.
- A Formalization of the C-0 Propositional Calculus.Alan Rose - 1952 - Journal of Symbolic Logic 17 (1):66-66.
- 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.
- 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
- 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.
- A Formalisation Of The M-valued Lukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1966 - Mathematical Logic Quarterly 12 (1):169-176.
- 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
- 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
- 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.
- A Formalisation of Post's m‐Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (3):221-226.
- 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.
- 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.
- A Formalisation Of The Χ0-valued Łukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):293-294.
- A Formalisation of Post's m-Valued Propositional Calculus.Alan Rose - 1956 - Journal of Symbolic Logic 21 (4):400-401.
- A Formalisation of the 2-Valued Propositional Calculus with Self-Dual Primitives.Alan Rose - 1954 - Journal of Symbolic Logic 19 (4):295-295.
- A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens.Alan Rose - 1982 - Mathematical Logic Quarterly 28 (22‐24):317-322.
- 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.
- A Gödel theorem for an infinite‐valued. Erweiterter Aussagenkalkül.Alan Rose - 1955 - Mathematical Logic Quarterly 1 (2):89-90.
- 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.
- A High Speed Parallel Adder.Alan Rose - 1959 - Mathematical Logic Quarterly 5 (14‐24):240-249.
- A High Speed Parallel Adder.Alan Rose - 1959 - Mathematical Logic Quarterly 5 (14-24):240-249.No categories
- A Lattice-Theoretic Characterisation of Three-Valued Logic.Alan Rose - 1951 - Journal of Symbolic Logic 16 (2):151-151.
- A note on the existence of tautologies without constants.Alan Rose - 1975 - Mathematical Logic Quarterly 21 (1):141-144.
- A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):117-118.
- A Note on Formalisation by the Method of Description of Truth‐Tables.Alan Rose - 1978 - Mathematical Logic Quarterly 24 (7):109-112.
- 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.
- 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
- 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
- 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.
- 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
- A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept.Alan Rose - 1986 - Mathematical Logic Quarterly 32 (19‐24):323-330.
- 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.
- 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.
| 1 — 50 / 129 |
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-6d9b7f7c4c-v4fj8 uwo