53 found
Order:
  1.  16
    Norman M. Martin (1996). Closed Bases and Closure Logic. The Monist 79 (1):117-127.
  2.  31
    Norman M. Martin (1949). Book Review. [REVIEW] Synthese 8 (1):93-94.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3.  9
    Francis Jeffry Pelletier & Norman M. Martin (1990). Post's Functional Completeness Theorem. Notre Dame Journal of Formal Logic 31 (3):462-475.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  1
    Joergen Joergensen & Norman M. Martin (1951). The Development of Logical Empiricism. Journal of Symbolic Logic 16 (4):289-289.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  5.  23
    Norman M. Martin (1960). Deduction and Strict Implication. Synthese 12 (1):25 - 33.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  6.  8
    Norman M. Martin (1955). Book Review:Einfuhrung in Die Symbolische Logik Mit Besonderer Berucksichtigung Ihrer Anwendungen Rudolf Carnap. [REVIEW] Philosophy of Science 22 (2):167-.
  7.  14
    Stephen Pollard & Norman M. Martin (1986). Mathematics for Property Theorists. Philosophical Studies 49 (2):177 - 186.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  8.  11
    Norman M. Martin (1954). The Sheffer Functions of 3-Valued Logic. Journal of Symbolic Logic 19 (1):45-51.
  9.  9
    Norman M. Martin (1951). The Explicandum of the Classical Concept of Probability. Philosophy of Science 18 (1):70-84.
  10.  7
    Norman M. Martin (1989). Systems of Logic. Cambridge University Press.
    This advanced study of systems of propositional logic offers a comprehensive account of a wide variety of logical systems and encourages students to take a critical stance toward the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Special attention is given to the weakenings of classical logic and a more refined treatment of modal logic is presented.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  11. Norman M. Martin (1959). Review: Trevor Evans, Lane Hardy, Sheffer Stroke Functions in Many-Valued Logics. [REVIEW] Journal of Symbolic Logic 24 (1):67-68.
     
    Export citation  
     
    My bibliography  
  12. Norman M. Martin (1967). Review: Arto Salomaa, On Essential Variables of Functions, Especially in the Algebra of Logic. [REVIEW] Journal of Symbolic Logic 32 (4):539-539.
     
    Export citation  
     
    My bibliography  
  13.  2
    Norman M. Martin & Lothar Krauth (1972). Die Philosophie Carnaps. Philosophical Quarterly 22 (88):274.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  2
    Norman M. Martin (1959). Review: P. Naslin, Circuits a Relais Et Automatismes a Sequences; Pierre Naslin, Introduction a L'Etude des Automatismes a Sequences. [REVIEW] Journal of Symbolic Logic 24 (2):187-188.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  3
    Norman M. Martin (1976). Direct Analogues of the Sheffer Stroke in $M$-Valued Logic. Notre Dame Journal of Formal Logic 17 (3):415-420.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  1
    Norman M. Martin (1995). Discovering Formal Logic. Philosophical Books 36 (2):143-144.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  17. Norman M. Martin (1960). Review: Stafford Beer, Operational Research and Cybernetics. [REVIEW] Journal of Symbolic Logic 25 (2):162-162.
     
    Export citation  
     
    My bibliography  
  18. Norman M. Martin (1967). Review: P. Schofield, Complete Subsets of Mappings Over a Finite Domain. [REVIEW] Journal of Symbolic Logic 32 (4):539-540.
     
    Export citation  
     
    My bibliography  
  19. Norman M. Martin (1964). Review: Arto Salomaa, On Sequences of Functions Over an Arbitrary Domain. [REVIEW] Journal of Symbolic Logic 29 (3):145-145.
     
    Export citation  
     
    My bibliography  
  20.  2
    Stephen Pollard & Norman M. Martin (1994). Contractions of Closure Systems. Notre Dame Journal of Formal Logic 35 (1):108-115.
    This essay shows that some recent work by George Weaver can be reformulated in an especially perspicuous way within the theory of closure systems. Closure theoretic generalizations of some theorems of Robert Goldblatt are presented. And, more generally, the relation between closure systems and the deducibility relations of Goldblatt is explored.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21. Norman M. Martin (1952). Review: H. Meyer, Ideology and Science; E. J. E. Huffer, B. H. Kazemier, Ch. Van Os, J. C. Opstelten, H. Rumke, H. Meyer, Discussion of the Paper of H. Meyer. [REVIEW] Journal of Symbolic Logic 17 (3):217-218.
     
    Export citation  
     
    My bibliography  
  22. Norman M. Martin (1952). Review: R. Feys, Results and Possibilities of Formalized Logic. [REVIEW] Journal of Symbolic Logic 17 (4):285-286.
     
    Export citation  
     
    My bibliography  
  23. Norman M. Martin (1967). Rudolf Carnap. In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York, Macmillan 2--25.
     
    Export citation  
     
    My bibliography   1 citation  
  24.  1
    Norman M. Martin (1960). Review: J. M. Bochenski, A Precis of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 25 (1):78-79.
  25.  1
    Norman M. Martin (1960). Review: Stafford Beer, Cybernetics and Management. [REVIEW] Journal of Symbolic Logic 25 (3):258-258.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  1
    Norman M. Martin (1953). Review: Alan Rose, Some Generalized Sheffer Functions. [REVIEW] Journal of Symbolic Logic 18 (4):344-345.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  1
    Norman M. Martin (1967). Review: P. Schofield, On a Correspondence Between Many-Valued and Two-Valued Logics. [REVIEW] Journal of Symbolic Logic 32 (4):539-539.
    Direct download  
     
    Export citation  
     
    My bibliography  
  28. Karl Durr & Norman M. Martin (1952). Ancient Formal Logic. Journal of Philosophy 49 (20):641-648.
  29. Norman M. Martin (1952). A Note on Sheffer Functions in N-Valued Logic. Journal of Symbolic Logic 17 (3):204-205.
    Direct download  
     
    Export citation  
     
    My bibliography  
  30. Norman M. Martin (1952). Beth E. W.. Geschiedenis der Logica . Second, Revised, Edition of XI 96 . Servire's Encyclopaedie, Afdeling Logica, D 2/3. Servire, The Hague 1948, 91 Pp. [REVIEW] Journal of Symbolic Logic 17 (4):286.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. Norman M. Martin (1960). Bochenski J. M.. A Precis of Mathematical Logic. D. Reidel Publishing Company, Dordrecht 1959, 100 Pp. [REVIEW] Journal of Symbolic Logic 25 (1):78-79.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Norman M. Martin (1960). Beer Stafford. Cybernetics and Management. Management Science Series. John Wiley & Sons, Inc., New York 1959, Xviii + 214 Pp. [REVIEW] Journal of Symbolic Logic 25 (3):258.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Norman M. Martin (1960). Beer Stafford. Operational Research and Cybernetics. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, Pp. 29–45. [REVIEW] Journal of Symbolic Logic 25 (2):162.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Norman M. Martin (1991). Deducibility and Decidability. Philosophical Books 32 (3):162-162.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35. Norman M. Martin (1959). Evans Trevor and Hardy Lane. Sheffer Stroke Functions in Many-Valued Logics. Portugaliae Mathematica, Vol. 16 No. 3–4 , Pp. 83–93. [REVIEW] Journal of Symbolic Logic 24 (1):67-68.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Norman M. Martin (1952). Feys R.. Resultaten en mogelijkheden van de geformaliseerde logica . Flemish-Dutch, with French summary. Tijdschrift voor philosophie, vol. 12 , pp. 227–245. [REVIEW] Journal of Symbolic Logic 17 (4):285-286.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Norman M. Martin (1971). Graham R. L.. On N-Valued Functionally Complete Truth Functions. Journal of Symbolic Logic 36 (4):691.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Norman M. Martin (1952). Meyer H.. Ideologie en wetenschap . IV Symposium, Haagse Societeit voor Culturele Samenwerking, pub. 1950, pp. 44–75.Huffer E. J. E., Kazemier B. H., van Os Ch., Opstelten J. C., Rümke H., Meyer H.. Discussie over de voordracht van H. Meyer . IV Symposium, Haagse Societeit voor Culturele Samenwerking pub. 1950. pp. 122–131. [REVIEW] Journal of Symbolic Logic 17 (3):217-218.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Norman M. Martin (1967). Note on the Completeness of Decision Element Sets. Journal of Symbolic Logic 32 (1):134-134.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40. Norman M. Martin (1959). Naslin P.. Circuits à relais et automatismes à séquences. Dunod, Paris 1958, XII + 229 pp.Naslin Pierre. Introduction à l′étude des automatismes à séquences. Automatisme , vol. 3 , pp. 3–11, 43–49, 87–94, 135–143, 179–185, 225–228, 260–265. [REVIEW] Journal of Symbolic Logic 24 (2):187-188.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Norman M. Martin (1953). Rose Alan. Some Generalized Sheffer Functions. Proceedings of the Cambridge Philosophical Society, Vol. 48 , Pp. 369–373. [REVIEW] Journal of Symbolic Logic 18 (4):344-345.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Norman M. Martin (1966). Review: Arto Salomaa, Some Analogues of Sheffer Functions in Infinite-Valued Logics. [REVIEW] Journal of Symbolic Logic 31 (1):118-119.
     
    Export citation  
     
    My bibliography  
  43. Norman M. Martin (1952). Review: E. W. Beth, History of Logic. [REVIEW] Journal of Symbolic Logic 17 (4):286-286.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44. Norman M. Martin (1952). Review: E. W. Beth, Symbolic Logic. [REVIEW] Journal of Symbolic Logic 17 (3):208-209.
     
    Export citation  
     
    My bibliography  
  45. Norman M. Martin (1971). Review: R. L. Graham, On N-Valued Functionally Complete Truth Functions. [REVIEW] Journal of Symbolic Logic 36 (4):691-691.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. Norman M. Martin (1951). Some Analogues of the Sheffer Stroke Function in N-Valued Logic. Journal of Symbolic Logic 16 (4):275-276.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. Norman M. Martin (1964). Salomaa Arto. On Sequences of Functions Over an Arbitrary Domain. Annales Universitatis Turkuensis, Series AI, No. 62, Turun Yliopisto, Turku 1963, 5 Pp. [REVIEW] Journal of Symbolic Logic 29 (3):145.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Norman M. Martin (1968). Salomaa Arto. On Essential Variables of Functions, Especially in the Algebra of Logic. Annales Academiae Scientiarum Fennicae, Series A.I, Mathematica, No. 339, Helsinki 1963, 11 Pp. [REVIEW] Journal of Symbolic Logic 32 (4):539.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Norman M. Martin (1996). Salomaa Arto. Some Analogues of Sheffet Functions in Infinite-Valued Logics. Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, 23–26 August, 1962, Acta Philosophica Fennica, No. 16, Helsinki 1963, Pp. 227–235. [REVIEW] Journal of Symbolic Logic 31 (1):118-119.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50. Norman M. Martin (2010). Systems of Logic. Cambridge University Press.
    This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Interesting features include a more refined treatment of modal logic and the special attention given to the weakenings of classical logic. Useful appendices provide a (...)
    No categories
     
    Export citation  
     
    My bibliography  
1 — 50 / 53