N-O-P-R-S
Offprints from the collection of A.N. Prior
Last updated: 2018-06-29 17:12:53
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.
| Naknikian, G. | An enquiry into goodness by F.E. Sparshott (Natural law forum, 6, 1961) |
| Nerlich, G.C. | Sameness, difference and continuity (Analysis, n.d.) |
| Nisbet, L. | A chimera is a chimera : a medieval tautology (Journal of the history of ideas, 21 (2), April-June 1960) |
| Nisbet, L. | Classifications of supposition in medieval logic (Tulane studies in philosophy, 5, 1956) |
| Nisbet, L. | Every proposition is false : a medieval paradox (Tulane studies in philosophy, 2, 1953) |
| Nisebet, L. | Formalism of terminist logic in the fourteenth century (Tulane studies in philosophy, 1, 1952) |
| Nishimura, I. | On formulas of one variable in intutitionistic propositional calculus (Journal of symbolic logic, 25 (4), December 1960) |
| Nolin, L. | Sur l’algèbre des prédicats (1958 Le raisonnement en mathématiques et en sciences expérimentales pp. 33--37 Colloques Internationaux du Centre National de la Recherche Scientifique, LXX Editions du Centre National de la Recherche Scientifique, Paris) |
| Oathout, M.C. | Censorhip and mental patients (Library quarterly, 24 (1), January 1954) |
| Ofstad, H. | Objectivity of norms and value-judgments according to recent Scandinavian philosophy (Philosophy and phenomenological research, 12 (1), September 1951) |
| Ohnishi, M. | Gentzen decision procedures for Lewis’s systems S2 and S3 (Osaka mathematical journal, 13 (1), June 1961) |
| Ohnishi, M./ Matsumoto, K. | Gentzen method in modal calculi (Osaka mathematical journal, 9 (2), December 1957) |
| Ohnishi, M./ Matsumoto, K. | Gentzen method in modal calculi II (Osaka mathematical journal, 11 (1), June 1959) |
| Ohnishi, M. | Von Wright’s decision procedures for Lewis’s systems S2 and S3 (Osaka mathematical journal, 13 (1), June 1961) |
| Pappé, H.O. | Mill and Tocqueville (Journal of the history of ideas, 25 (2), April-June 1964) |
| Pappé, H.O. | The Mills and Harriet Taylor (Political science, 8 (1), March 1956) |
| Pappé, H.O. | On the validity of judicial decisions in the Nazi era (Modern law review, May 1960) |
| Parry, G. | Individuality, politics and the critique of paternalism in John Locke (Political studies, 12 (2), June 1964) |
| Parry, W.T. | Are things what they are known as? (Philosophy and phenomenological research, 16 (2), 1955) |
| Parry, W.T. | Re-examination of the problem of counterfactual conditionals (Journal of philosophy, 54 (4), February 1957) |
| Parsons, C. | A propositional calculus intermediate between the minimal calculus and the classical (Nôtre Dame journal of formal logic, 7 (4), October 1966) |
| Passmore, J.A. | Descartes, the British empiricists, and formal logic (Philosophical review, 62 (4), October 1953) |
| Passmore, J.A. | Professor Ryle’s use of "use" and "usage" (Philosophical review, 63 (1), January 1954) |
| Peach, B. | The indefinability and simplicity of rightness in Richard Price’s Review of morals (Philosophy and phenomenological research, 14 (3), March 1954) |
| Peklo, B. | Eine Bemerkung zum Anderson’s Sanktionensystem in der Modalen Logik (Logique et analyse, 28, Décember 1964) |
| Peklo, B. | The logical inference from "it does not hold that x ought to be" to "it holds that x ought not to be" (Analele Universitatii Bucuresti, 10, 1967) |
| Peklo, B. | Quelques remarques sur la signification de la logique pour le droit (Archives de philosophie du droit, 11, 1966) |
| Peklo, B. | Über Normeninferenzen (Logique et analyse, 28, Décember 1964) |
| Pogorzelski, W.A. | Adekwatnosc teorii systemow dedukcyjnych wzgledem rachunkow zdaniowych (Studia logica, 13, 1962) |
| Pogorzelski, W.A. | On the scope of the classical deduction theorem (Journal of symbolic logic, 33 (1), March 1968) |
| Pogorzelski, W.A. | Pewne wlasnosci systemow dedukcyjnych opartych na logice intuicjonistycznej (Sprawozdan z parc naukowych wydzialu nauk spolecznych, 3) |
| Pogorzelski, W.A. | Podstawowe wlasnosci systemow dedukcyjnych opartych na nieklasycznych logikach, cz. I (Studia logica, 9, 1960) |
| Pogorzelski, W.A. | Podstawowe wlasnosci systemow dedukcyjnych opartych na nieklasycznych logikach, cz. II (Studia logica, 10, 1960) |
| Pogorzelski, W.A. | A variant of the proof of the completeness of the first order functional calculus (Studia logica, 12, 1961) |
| Popper, K.R. | Functional logic without axioms or primitive rules of inference (Proceedings of Akademie van Wetenschappen, 50 (9), 1947) |
| Porte, J. | Deux systèmes simples pour le calcul des propositions (Alger mathématiques, 5 (1), Juin 1958) |
| Porte, J. | Quelques pseudo-paradoxes de la "calculabilité effective" (2e Congrès international de cybernétique, Septembre 1958) |
| Porte, J. | Recherches sur les logiques modales (1958 Le raisonnement en mathématiques et en sciences expérimentales pp. 117--126. Colloques Internationaux du Centre National de la Recherche Scientifique, LXX Editions du Centre National de la Recherche Scientifique, Paris.) |
| Porte, J. | Schémas pour le calcul des propositions fondé sur la conjonction et la négation (Journal of symbolic logic, 23 (4), December 1958) |
| Porte, J. | Une simplification de la théorie de Turing (Ier Congrès international de cybernétique, 1956) |
| Porte, J. | Un système logistique très faible pour le calcul propositionnel classique (Comptes rendus des séances de l’Académie des Sciences, Avril 1962) |
| Porte, J. | Un système pour le calcul des propositions classiques où la règle de détachment n’est pas valable (Comptes rendus des séances de l’Académie des Sciences, Juillet 1960) |
| Porte, J. | Systèmes de Post, algorithmes de Markov (Cybernetica, 2, 1958) |
| Potts, T.C./ Taylor, C.C.W. | States, activities and performances (Aristotelian Society supplementary volume, 39, 1965) |
| Price, H.H. | A mescaline experience (Journal of the American Society for Psychical Research, 58, January 1964) |
| Prior, A.N. | The elements of formal logic by G.E. Hughes and D.G. Londey (Australasian Journal of Philosophy, vol. 44 (1966), pp. 224-231.) |
| Prior, A.N. | Fugitive truth (Analysis, 29 (1), October 1968) |
| Prior, A.N. | Modal logic and the logic of applicability (Theoria, vol 34. (1968), pp.183-202.) |
| Prior, A.N. | "Now" (Noûs, 2 (2), May 1968) |
| Prior, A.N. | "Now" corrected and condensed (Noûs, 2 (4), November 1968) |
| Prior, A.N. | Two additions to positive implication (Journal of symbolic logic, 29 (1), May 1964) (*) |
| Prior, A.N. | Zeit und Änderung (Ratio, 10 (2)) |
| 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) |
| Sade, A. | Algebre de Lukasiewicz dans la logique trivalente (Matematika I fizika, 247, 1969) |
| Sade, A. | Evanescence de l’argument cantorien pour le cardinal des nombres dyadiques (Matematika I fizika, 210, 1968) |
| Sade, A. | Fonctions propositionnelles monadiques dans la logique triavelente (Annales de la Société Scientifique de Bruxelles, 83, 1969) |
| Sade, A. | Morphismes sur le groupoïde ternaire des opérateurs propositionnels (Annales de la Société Scientifique de Bruzelles, 83, 1969) |
| Sade, A. | Quasigroupes demi-symétriques III (Annales de la Société Scientifique de Bruzelles, 81, 1967) |
| Salamucha, J. | The proof ex motu for the existence of God : logical analysis of St. Thomas’ arguments |
| Salomaa, A. | On many-valued systems of logic (Ajatus, 22, 1959) |
| Scharle, T.W. | A diagram of the functors of the two-valued propositional calculus (Nôtre Dame journal of formal logic, 3 (4), 1962) |
| Schneewind, J.B. | Comments on Prior’s paper (Review of metaphysics, 16 (2), December 1962) |
| Schram, J.M. | Prodicus’ Fifty-drachma show-lecture and The Mytilene debate of Thucydides : an account of the intellectual and social antecedents of formal logic (Antioch review, 25 (1), Spring 1965) |
| Segerberg, K. | On the logic of "to-morrow" (Theoria, 33, 1967) |
| Segerberg, K. | Results in non-classical propositional logic (University of Uppsala, 1968) |
| Segerberg, K. | Some modal logics based on a three-valued logic (Theoria, 33, 1967) |
| Sellars, W. | Abstract entities (Review of metaphysics, 16 (4), June 1963) |
| Sellars, W. | Classes as abstract entities and the Russell paradox (Review of metaphysics, 17 (1), September 1953) |
| Sellars, W. | The identity approach to the mind-body problem (Review of metaphysics, 18 (3), March |
| Sellars, W. | Induction as vindication (Philosophy of science, 31 (3), July 1964) |
| Sellars, W. | Meditations Leibniziennes (American philosophical quarterly, 2 (2), April 1965) |
| Sellars, W. | Naming and sense (Philosophy of science, 29 91), January 1962) |
| Sellars, W. | Notes on intentionality (Journal of philosophy, 61 (21), November 1964) |
| Sellars, W. | The paradox of analysis : a neo-fregean approach (Analysis, n.d.) |
| Sellars, W. | Scientific realism or irenic instrumentalism : comments on J. J. C. Smart (Boston studies in the philosophy of science, 2, 1965) |
| Sellars, W. | Some reflections on thoughts and things (Noûs, 1 (2), 1967) |
| Shapere, D. | Mathematical ideals and metaphysical conepts (Philosophical review, 69 (3), July 1960) |
| Shapere, D. | Philosophy and the analysis of language (Inquiry, 3, 1960) |
| Shepherdson | On the interpretation of Aristotelian syllogistic (Journal of symbolic logic, 21 (2), June 1956) |
| Sibajiban | Can the law of contradiction be stated? (Analysis, April 1961) |
| Sibajiban | Descartes’ doubt (Philosophy and phenomenological research, 24 (1), September 1963) |
| Sibajiban | The middle term (Nôtre Dame journal of formal logic, 9 (3), July 1968) |
| Sibajiban | Mr. Eric Toms on the liar paradox (Mind, 74 (295), July 1965) |
| Sibajiban | The self-contradictory and the inconceivable (Analysis supplement, 2, n.d.) |
| Simpson, T.M. | A note on sense and denotation (No source given) |
| Simpson, T.M. | On the elimination of oblique contexts (No source given) |
| Sinisi, V.F. | Kotarbinski’s theory of genuine names (Theoria, 30, 1964) |
| Sloman, A. | How to derive "better" from "is" (American philosophical quarterly, 6 (1), January 1969) |
| Slupecki, J. | On Aristotelian syllogistic (Studia philosophica, 1951) |
| Smart, J.J.C. | Can biology be an exact science? (Synthese, 11 (4), December 1959) |
| Smart, J.J.C. | Colours (Philosophy, n.d.) |
| Smart, J.J.C. | Conflicting views about explanation (Boston studies in the philosophy of science, 2, 1965) |
| Smart, J.J.C. | Contradictories and entailments (Philosophy and phenomenological research, n.d.) |
| Smart, J.J.C. | Current issues in the philosophy of science ed. H. Feigl and G. Maxwell (Australasian journal of philosophy, May 1962) |
| Smart, J.J.C. | The direction of time by H. Reichenbach (No source given) |
| Smart, J.J.C. | Dispositional properties (Analysis, n.d.) |
| Smart, J.J.C. | Extreme and restricted utilitarianism (No source given) |
| Smart, J.J.C. | Further remarks on sensations and brain processes (Philosophical review, 70 (3), July 1961) |
| Smart, J.J.C. | Gödel’s theorem, Church’s theorem and mechanism (Synthese, 13 (2), June 1961) |
| Smart, J.J.C. | The Indian journal of philosophy (No source given) |
| Smart, J.J.C. | Is time travel possible? (Journal of philosophy, 60, 1963) |
| Smart, J.J.C. | Materialism, materialism (Journal of philosophy, 60 (22), October 1963) |
| Smart, J.J.C. | The methods of ethics and the methods of science (Journal of philosophy, n.d.) |
| Smart, J.J.C. | The relevance of modern analytic philosophy for science (Australasian journal of science, 16 (6), June 1954) |
| Smart, J.J.C. | Sensations and brain processes (Philosophical review, 68 (2), April 1959) |
| Smart, J.J.C. | Sensations and brain processes : a rejoineder to Dr. Pitcher and Mr. Joske (No source given) |
| Smart, J.J.C. | Sir William Mitchell, K.C.M.G. (1861-1962) (Australasian journal of philosophy, 40 (3), December 1962) |
| Smart, J.J.C. | Spatialising time (Mind, 64 (254), April 1955) |
| Smart, J.J.C. | The temporal asymmetry of the world (Analysis, 14 (4), March 1954) |
| Smart, J.J.C. | "Tensed statements" : a comment (No source given) |
| Smart, J.J.C. | Time (Contemporary philosophy : a survey, ed. R. Klibansky, 1968) |
| Smart, J.J.C./ Mackie, J.L. | A variant of the "heterological" paradox (Analysis, n.d.) |
| Smart, R.N. | Being and the bible (Review of metaphysics 9 (4), June 1956) |
| Smiley, T.J. | Entailment and deducibility (Proceedings of the Aristotelian Society, 1959) |
| Smiley, T.J. | The independence of connectives (Journal of symbolic logic, 27 (4), December 1962 |
| Smiley, T.J. | Relative necessity (Journal of symbolic logic, 28 (2), June 1963) |
| Smiley, T.J. | Syllogism and quantification (Journal of symbolic logic, 27 (1), March 1962) |
| Sobel, J.H. | "Everyone", consequences and generalization arguments (Inquiry, 10, 1967) |
| Smiley, T.J./ Basson, A.H. | Propositional functions (No source given) |
| Sobocinski, B. | L’analyse de l’antinomie russellienne par Lesniewski (Methodos, 1, 1949) |
| Sobocinski, B. | An axiom-system for {K;N}-propositional calculus related to Simons’ axiomatization of S3 (Nôtre Dame journal of formal logic, 3 (3), 1962) |
| Sobocinski, B. | Axiomatization of a conjunctive-negative calculus of propositions (Journal of computing studies, 1 (4), 1954) |
| Sobocinski, B. | Axiomatization of a partial system of three-value calculus of propositions (Journal of computing studies, 1 (1), 1952) |
| Sobocinski, B. | Z badan nad aksjomatyka prototetyki Stanislawa Lesniewskiego (Yearbook of the Polish Society of Arts and Sciences Abroad, 1953-4) |
| Sobocinski, B. | Certain formulas equivalent to the axiom of choice (Nôtre Dame journal of formal logic, 2 (4), 1961) |
| Sobocinski, B. | A contribution to the axiomatization of Lewis’ system S5 (Nôtre Dame journal of formal logic, 3 (1), 1962) |
| Sobocinski, B. | Family K of the non-Lewis modal systems (Nôtre Dame journal of formal logic, 5 (4), 1964) |
| Sobocinski, B. | Modal system S4.4 (Nôtre Dame journal of formal logic, 5 (4), 1964) |
| Sobocinski, B. | In memoriam Jan Lukasiewicz (1878-1956) (Philosophical studies (Ireland), 6, December 1956) |
| Sobocinski, B. | An investigation of protothetic (Cahiers de l’Institut d’Études Polonaises en Belgique, 5, 1949) |
| Sobocinski, B. | A note concerning the axiom of choice (Nôtre Dame journal of formal logic, 1 (3), 1960) |
| Sobocinski, B. | Note on a modal system of Feys-Von Wright (Journal of computing studies, 1 (3), 1953) |
| Sobocinski, B. | Note on a problem of Paul Bernays (Journal of symbolic logic, 20 (2), June 1955) |
| Sobocinski, B. | A note on Prior’s systems in The theory of deduction (Nôtre Dame journal of formal logic, 5 (2), 1964) |
| Sobocinski, B. | A note on the regular and irregular modal systems of Lewis (Nôtre Dame journal of formal logic, 3 (2), 1962) |
| Sobocinski, B. | On a universal decision element (Journal of computing studies, 1 (2), 1953) |
| Sobocinski, B. | On the generalized Brouwerian axioms (Nôtre Dame journal of formal logic, 3 (2), 1962) |
| Sobocinski, B. | On the single axioms of protothetic I (Nôtre Dame journal of formal logic, 1 (1), 1960) |
| Sobocinski, B. | On the single axioms of protothetic II (Nôtre Dame journal of formal logic, 2 (2), 1961) |
| Sobocinski, B. | On the single axioms of protothetic III (Nôtre Dame journal of formal logic, 2 (3), 1961) |
| Sobocinski, B. | On well constructed axiom systems (Yearbook of the Polish Society of Arts and Sciences Abroad, 1955-6) |
| Sobocinski, B. | A set-theoretical formula equivalent to the axiom of choice (Nôtre Dame journal of formal logic, 3 (3), 1962) |
| Sobocinski, B. | A simple formula equivalent to the axiom of choice (Nôtre Dame journal of formal logic, 1 (3), 1960) |
| Sobocinski, B. | Six new sets of independent axioms for distributive lattices with O and I (Nôtre Dame journal of formal logic, 3 (3), 1962) |
| Sobocinski, B. | Studies in Lesniewski’s mereology (Yearbook of the Polish Society of Arts and Sciences Abroad, 1954-5) |
| Sobocinski, B. | A theorem on Hartog’s alephs (Nôtre Dame journal of formal logic, 2 (4), 1961) |
| Sobocinski, B. | Three set-theoretical formulas (Nôtre Dame journal of formal logic, 2 (1), 1961) |
| Stahl, G. | Une formalisation du "dominateur" (Revue philosophique de la France et de l’étranger, 1963) |
| Stahl, G. | General considerations about modal sentences (Zeitschrift für mathematische Logik und Grundlagen d. Math., 5, 1959) |
| Stahl, G. | Le problème de l’existence dans la logique symbolique (Revue philosophique de la France et de l’étranger, 1960) |
| Stahl, G. | Temps et existence (Revue philosophique de la France et de l’étranger, 1961) |
| Stenius, E. | Are true numerical statements analytic of synthetic? (Philosophical review, 74 (3), July 1965) |
| Stenius, E. | Beginning with ordinary things (Synthese, n.d.) |
| Stenius, E. | Miss Anscombe’s retraction (Analysis, n.d.) |
| Stenius, E. | On the number of dimensions of physical space (Acta philosophica fennica, 18, 1965) |
| Sugihara, T. | The number of modalities in T supplemented by the axiom CL2pL3p (Journal of symbolic logic, 27 (4), December 1962) |
| Sugihara, T. | The number of modality (Memoirs of the Faculty of Liberal Arts, Fukui University, 10, February 1961) |
| Suszko, R. | O analyitcznych aksjomatach I logicznych regulach wnioskowania (Prace komisji filozoficnej, 7 (5), 1949) |
| Suszko, R. | Canonic axiomatic systems (Studia philosophica, 4, 1951) |
| Suszko, R. | Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations (Studia logica, 11, 1961) |
| Suszko, R. | Formalna teoria wartosci logicznych I (Studia logica, 6, 1957) |
| Suszko, R. | On the extending of models II (Fundamenta mathematicae, 42, 1955) |
| Suszko, R. | On the extending of models IV (Fundamenta mathematicae, 44, 1957) |
| Suszko, R. | On the extending of models V (Fundamenta mathematicae, 48, 1960) |
| Suszko, R. | Remarks on sentential logics (Proceedings of Akademie van Wetenschappen Series A, 61, 1958) |
| Suszko, R. | Zarys elementarnej skladni logicznej (Zeszyty Wydzialu Filozoficznego Uniwersytetu Warszawskiego, 3, 1957) |
| Suszko, R. | Syntactic structure and semantical reference I (Studia logica, 8, 1958) |
| Suszko, R. | Syntactic structure and semantical reference II (Studia logica, 9, 1960) |
Per F. V. Hasle ©
-
Department of Information Studies
-
University of Copenhagen
-
South Campus, build. 4
-
Njalsgade 76
-
DK-2300 Copenhagen S
-
Denmark
- per.hasle@hum.ku.dk
Peter Øhrstrøm ©
-
Department of Communication and Psychology
-
Aalborg University
-
Rendsburggade 14
-
DK-9000 Aalborg
-
Denmark
- poe@hum.aau.dk
David Jakobsen ©
-
Department of Communication and Psychology
-
Aalborg University
-
Rendsburggade 14
-
DK-9000 Aalborg
-
Denmark
- davker@hum.aau.dk
maurohmartinez@gmail.com © 2018-2024