- 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
Results for 'Alan Rose'
(not author) ( search as author name )
1000+ found
Order:
- Emplaced Myth: Space, Narrative, and Knowledge in Aboriginal Australia and Papua New Guinea.Lissant Boltan, Andrew Lattas, Anthony Redmond, Alan Rumsey, Deborah Bird Rose, Eric Kline Silverman, Pamela J. Stewart, Andrew Strathern, Roy Wagner & Jurg Wassmann - 2012 - Philosophy East and West 62 (4).
- Outlines of a Formalist Philosophy of Mathematics.Lecons de Logique Algebrique.Alan Rose - 1953 - Philosophical Quarterly 3 (12):287.
- Simplified formalizations of fragments of the propositional calculus.Alan Rose - 1977 - Notre Dame Journal of Formal Logic 18 (2):255-261.
- Programming the Functions of Formal Logic, II.Alan Rose - 1970 - Journal of Symbolic Logic 35 (4):596-597.
- [Fragments of Many-Valued Statement Calculi.Alan Rose & J. Barkley Rosser - 1958 - [S.N.].
- A New Proof of a Theorem of Dienes.Nicholas Rescher & Alan Rose - 1951 - Journal of Symbolic Logic 16 (4):276.
- An Extension of Computational Logic.Frederic B. Fitch & Alan Rose - 1952 - Journal of Symbolic Logic 17 (3):204.
- Alan Rose. Formalisation du calcul propositionnel implicatif à ℵ 0 valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 243 (1956), pp. 1183–1185. [REVIEW]Alan Rose - 1970 - Journal of Symbolic Logic 35 (1):142-142.
- 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.
- 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.
- A Formalisation of the ℵ 0 -Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors.B. Scarpellini & Alan Rose - 1970 - Journal of Symbolic Logic 35 (1):143.
- 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
| 1 — 50 / 1000 |
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-64dd777598-cl5t5 uwo