Boxes 23-29 / R
Offprints from the collection of A.N. Prior donated by Mrs. Prior These offprints must be ordered up from the basement stack.
Readers are requested to ask for these only if they are not available in the main offprint collection.
| Raggio, A.R. | Direct consistency proof of Gentzen’s system of natural deduction (Nôtre Dame journal of formal logic, 5 (1), 1964) | | Raggio, A.R. | Gentzen’s Haputsatz for the systems NI and NK (Logique et analyse, 30, Juin 1965) | | Rand, R. | The logic of demand sentences (Synthese, 14 (4), December 1962) | | Raphael, D.D. | Bishop Butler’s view of consicence (Philosophy, 24 (90), July 1949) | | Raphael, D.D. | Causation and free will (Philosophical quarterly, January 1952) | | Raphael, D.D. | Justice and liberty (Proceedings of the Aristotelian Society, 1951) | | Raphael, D.D. | Law and morals (Philosophical quarterly, October 1952) | | Raphael, D.D. | Moral judgement (Philosophical review, 45 (3), July 1956) | | Raphael, D.D. | Universals, resemblance, and identity (Proceedings of the Aristotelian Society, 1955) | | Rasiowa, H. et al. | Addition au travail "A proof of Herbrand theorem" (Journal de mathématiques pure et appliquées, 1959) | | Rasiowa, H. et al. | On constructible falsity in the constructive logic with strong negation (Colloquium mathematicum, 6, 1958) | | Rasiowa, H. et al. | On the isomorphism of Lindenbaum algebras with fields of sets (Colloquium mathematicum, 5, 1958) | | Rasiowa, H. et al. | On the representation of quasi-Boolean algebras (Bulletin de l’Académie Polonaise des Sciences, 5 (3), 1957) | | Rasiowa, H. | R-lattices and constructive logic with strong negation (Fundamenta mathematicae, 46, 1958) | | Rescher, N. | Al-Farabi on logical tradition (Journal of the history of ideas, 24 (1), January-March, 1963) | | Rescher, N. | Avicenna on the logic of "conditional" propositions (Nôtre Dame journal of formal logic, 4 (1), 1963) | | Rescher, N. | An axiom system for deontic logic (Philosophical studies, 9 (1-2), January-February 1958) | | Rescher, N. | Belief-contravening suppositions (Philosophcial review, 7 (2), April 1961) | | Rescher, N. | Choice without preference (Kant-Studien, 51 (2), 1959-60) | | Rescher, N. | Conditional permission in deontic logic (Philosophical studies, 13 (1-2), January-February 1962) | | Rescher, N. | A contribution to modal logic (Review of metaphysics, 12 (2), December 1958) | | Rescher, N. | Discourse on a method (Methodos, 41, 1959) | | Rescher, N. | Discrete state systems, Markov chains, and problems in the theory of scientific explanation and prediction (Philosophy of science, 30 (4), October 1963) | | Rescher, N. | Evidence in history and in the law (Journal of philosophy, 56 (13), June 1959) | | Rescher, N. | A factual analysis of counterfactual conditionals (Philosophical studies, 11 (4), June 1960) | | Rescher, N. | The legitimacy of doubt (The review of metaphysics, 13 (2), December 1959) | | Rescher, N. | Logic-chapter of Muhammed Ibn Ahmad al-Khwarizmi’s Encyclopedia (Archiv für Geschichte der philosophie, 44 (1), 1962) | | Rescher, N. | Logical analysis in historical application (Methodos, 42, 1959) | | Rescher, N. | A new look at the problem of innate ideas (British journal for the philosophy of science,17 (3), 1966) | | Rescher, N./ Garson, James W. | A note on chronological logic (Theoria 33 1967, pp. 51--52. ) (*) | | Rescher, N. | A note on self-referential statements (Nôtre Dame journal of formal logic, 5 (3), 1964) | | Rescher, N. | Notes on preference, utility, and cost (Synthese, 16, 1966) | | Rescher, N. | On prediction and explanation (British journal for the philosophy of science, 8 (32), 1958) | | Rescher, N. | On the formalization of two modal theses (Nôtre Dame journal of formal logic, 2 (3), 1961) | | Rescher, N. | On the logic of chronological propositions (Mind, 75 (297), January 1966) | | Rescher, N. | On the logic of existence (Philosophical review, 68 (2), April 1959) | | Rescher, N. | On the logic of presupposition (Philosophy and phenomenological research, 21 (4), June 1961) | | Rescher, N. | Practical reasoning and values (Philosophical quarterly, 16 (63), April 1966) | | Rescher, N. | A probabilistic approach to modal logic (Acta philosophica fennica, 16, 1963) | | Rescher, N. | Quasi-truth functional systems of propositional logic (Journal of symbolic logic, 27 (1), March 1962) | | Rescher, N. | The revolt against process (Journal of philosophy, 59 (15), July 1962) | | Rescher, N. | Semantic paradoxes and the propositional analysis of indirect discourse (Philosophy of science, 28 (4), October 1961) | | Rescher, N. | A theory of evidence (Philosophy of science, 25 (1), January 1958) | | Rescher, N. | Venn diagrams for plurative syllogisms (Philosophical studies, 16 (4), June 1965) | | Rescher, N. | A version of the "master argument" of Diodorus (Journal of philosophy, 43 (15), August 1966) | | Rose, A. | An alternative generalisation of the concept of duality (Math. Annalen, 147, 1962) | | Rose, A. | A Gödel theorem for an infinite-valued Erweiterter Aussagenkalkül (Proceedings of the International Mathematical Congress, September 1954) | | Rose, A. | A Gödel theorem for an infinite-valued Erweiterter Aussagenkalkül (Zeitschrift für mathematische Logik und Grundlagen d. Math., 1, 1955) | | Rose, A. | A high speed parallel adder (Zeitschrift für mathematische Logik und Grundlagen d. Math., 5, 1959) | | Rose, A. | Nouvelle formalisation du calcul propositionnel bivalent dont les foncteurs primitifs forment un ensemble qui constitue son propre dual (Comptes rendus des séances de l’Académie des Sciences, Juin 1960) | | Rose, A. | Self-dual binary and ternary connectives for m-valued propositional calculi (Math. Annalen, 143, 1961) | | Rose, A. | A single axiom for a partial system of the propositional calculus (Zeitschrift für mathematische Logik und Grundlagen d. Math., 1, 1955) | | Rose, A. | Sur certains calculs propositionnels à m valeurs ayant deux foncteurs primtifs dont chacun est le dual de l’autre (Comptes rendus des séances de l’Académie des Sciences, Mai 1961) | | Rose, A. | Sur certains calculs propositionnels à m valeurs ayant un seul foncteur primitif lequel onstitue son propre dual (Comptes rendus des séances de l’Académie des Sciences, Mai 1961) | | Rose, A. | Sur un ensemble complet de foncteurs primitifs indépendants pour le calcul propositionnel trivalent lequel constitue son propre trial (Comptes rendus des séances de l’Académie des Sciences, Mars 1962) | | Rose, A. | Sur un ensemble de foncteurs primitifs pour le calcul propositionnel à m valeurs lequel constitue son propre m-al (Comptes rendus des séances de l’Académie des Sciences, Mars 1962) | | Rose, A. | Sur un ensemble indépendant de foncteurs primitifs pour le calcul propositionnel, lequel constitue son propre dual (Comptes rendus des séances de l’Académie des Science, Juin 1960) | | Rouche, N. | Recherche d’une algèbre logique continue (No source given) | | Rubin, J.E. | Remarks about a closure algebra in which closed elements are open (Proceedings of the American Mathematical Society, 7 (1), February 1956) | | Rundle, B. | A basis for set theory (Logique et analyse, 34, Juin 1966) | | Rundle, B. | Transitivity and indirect speech (Proceedings of the Aristotelian Society, 1968) | | Ruzsa, I. | Axiomatischer Aufbau eines Systems der deontischen Logik (Acta scientiarum mathematicarum, 1965) | | Ruzsa, I. | Ein neues formales System der deontischen Logik (Acta mathematica Acadamiae Scientiarum Hungaricae, 19, 1968) |
|
