Results for 'Sheffer function'

975 found
Order:
  1.  55
    (1 other version)The Sheffer functions of 3-valued logic.Norman M. Martin - 1954 - Journal of Symbolic Logic 19 (1):45-51.
  2.  33
    (1 other version)Sheffer functions for many‐valued S5 modal logics.Gerald J. Massey - 1969 - Mathematical Logic Quarterly 15 (7‐12):101-104.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  25
    (1 other version)Sheffer Functions in Intuitionistic Logic.G. Rousseau - 1968 - Mathematical Logic Quarterly 14 (18):279-282.
  4.  49
    An intuitionistic Sheffer function.Kosta Došen - 1985 - Notre Dame Journal of Formal Logic 26 (4):479-482.
  5.  93
    F. Richard Singer. Some Sheffer functions for M-valued logics. Scripta mathematica, vol. 28 , pp. 21–27.R. L. Graham - 1969 - Journal of Symbolic Logic 34 (3):520.
  6.  13
    (1 other version)On n‐Valued Sheffer Functions.Roy O. Davies - 1979 - Mathematical Logic Quarterly 25 (19‐24):293-298.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  27
    Concerning an alleged Sheffer function.Gerald J. Massey - 1975 - Notre Dame Journal of Formal Logic 16 (4):549-550.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  54
    Three‐Valued Commutative Pseudo‐Sheffer Functions.Barbara Lowesmith - 1981 - Mathematical Logic Quarterly 27 (11-12):161-180.
  9.  16
    A Note on Sheffer Functions in n-Valued Logic.Norman M. Martin - 1952 - Journal of Symbolic Logic 17 (3):204-205.
  10.  13
    Some Generalized Sheffer Functions.Alan Rose - 1953 - Journal of Symbolic Logic 18 (4):344-345.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  43
    Martin Norman M.. The Sheffer functions of 3-valued logic.William Wernick - 1956 - Journal of Symbolic Logic 21 (2):199-199.
  12.  20
    The determination of all Sheffer functions in $3$-valued logic, using a logical computer. [REVIEW]Eric Foxley - 1962 - Notre Dame Journal of Formal Logic 3 (1):41-50.
  13.  42
    Rose Alan. Some generalized Sheffer functions. Proceedings of the Cambridge Philosophical Society, vol. 48 , pp. 369–373. [REVIEW]Norman M. Martin - 1953 - Journal of Symbolic Logic 18 (4):344-345.
  14.  15
    Does IPC have a binary indigenous Sheffer function?Herbert E. Hendry - 1981 - Notre Dame Journal of Formal Logic 22 (2):183-186.
  15.  22
    There are denumerably many ternary intuitionistic Sheffer functions.Djordje Čubrić - 1988 - Notre Dame Journal of Formal Logic 29 (4):579-581.
  16.  15
    The application of ternary semi-groups to the study of $n$-valued Sheffer functions.James Rosenberg - 1969 - Notre Dame Journal of Formal Logic 10 (1):90-94.
  17.  25
    A Decision Process for 3‐Valued Sheffer Functions I.J. C. Muzio - 1970 - Mathematical Logic Quarterly 16 (4):271-280.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  60
    A Decision Process for 3‐Valued Sheffer Functions II.J. C. Muzio - 1971 - Mathematical Logic Quarterly 17 (1):97-114.
  19.  19
    (1 other version)Generalised functional completeness of sets of m‐valued Sheffer functions.Alan Rose - 1984 - Mathematical Logic Quarterly 30 (12):177-182.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  18
    Scompleteness of sets of three‐valued Sheffer function.Alan Rose - 1983 - Mathematical Logic Quarterly 29 (10):481-483.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  42
    James Rosenberg. The application of ternary semigroups to the study of n-valued Sheffer functions. Notre Dame journal of formal logic, vol. 10 , pp. 90–94. [REVIEW]R. L. Graham - 1973 - Journal of Symbolic Logic 38 (3):520.
  22.  20
    Review: Norman M. Martin, A Note on Sheffer Functions in n-Valued Logic. [REVIEW]Alan Rose - 1952 - Journal of Symbolic Logic 17 (3):204-205.
  23.  45
    Foxley Eric. The determination of all Sheffer functions in 3-valued logic, using a logical computer. Notre Dame journal of formal logic, vol. 3 , pp. 41–50. [REVIEW]Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (2):174-174.
  24. Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.
    Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  26
    Some Analogues of the Sheffer Stroke Function in n-Valued Logic.Norman M. Martin - 1951 - Journal of Symbolic Logic 16 (4):275-276.
  26. Functional completeness and primitive positive decomposition of relations on finite domains.Sergiy Koshkin - 2024 - Logic Journal of the IGPL 32.
    We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods of functional (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  31
    A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method.Ralph L. Slaght - 1974 - Notre Dame Journal of Formal Logic 15 (1):161-164.
  28.  44
    Leonard Henry S.. Two-valued truth tables for modal functions. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, pp. 42–67. [REVIEW]Jan Kalicki - 1951 - Journal of Symbolic Logic 16 (4):288-288.
  29.  40
    Evans Trevor and Hardy Lane. Sheffer stroke functions in many-valued logics. Portugaliae mathematica, vol. 16 no. 3–4 , pp. 83–93. [REVIEW]Norman M. Martin - 1959 - Journal of Symbolic Logic 24 (1):67-68.
  30.  73
    Logical works, by Wajsberg Mordchaj. Edited and with an introduction by Surma Stanisław J.. ZakВad Narodowy imienia Ossolińskich, Wydawnictwo Polskiej Akademii Nauk, Wrocław etc. 1977, 216 pp.Surma Stanisław J.. Mordchaj Wajsberg. Life and work. Pp. 7–11.Wajsberg Mordchaj. Axiomatization of the three-valued propositional calculus. Pp. 12–29. A reprint of XXXV 442 .Wajsberg Mordchaj. On the axiom system of propositional calculus. Pp. 30–36. English translation of 4372.Wajsberg Mordchaj. A new axiom of propositional calculus in Sheffer's sbmbols. Pp. 37–39. English translation of 4373.Wajsberg Mordchaj. Investigations of functional calculus for finite domain of individuals. Pp. 40–49. English translation of 4374.Wajsberg Mordchaj. An extended class calculus. Pp. 50–61. English translation of 4375.Wajsberg Mordchaj. A contribution to metamathematics. Pp. 62–88. English translation of 4376.Wajsberg Mordchaj. Contributions to meta-calculus of propositions I. Pp. 89–106. English translation. [REVIEW]Storrs McCall - 1983 - Journal of Symbolic Logic 48 (3):873-874.
  31.  62
    Martin Norman M.. Some analogues of the Sheffer stroke function in n-valued logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 , pp. 1100–1107; also Indagationes mathematicae, vol. 12 , pp. 393–400. [REVIEW]Alan Rose - 1951 - Journal of Symbolic Logic 16 (4):275-276.
  32.  89
    Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
    Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives . The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We close with a demonstration of this latter aspect by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  33.  21
    Development of Mathematical Logic. [REVIEW]F. K. C. - 1973 - Review of Metaphysics 26 (4):752-753.
    This technical and sophisticated book has a misleading title. In only 140 pages it has chapters entitled: Truth Functions, Sentence Logic, Model Theory, Predicate Logic, Recursive Functions, Formalized Arithmetic, Free-Variable Arithmetic, and Axiomatic Set Theory. Goodstein says little about, let alone studies, the historical development of any of these topics. The history consists of a few references to some of the individuals who have played a role in the development of the field; but not always to the major figures. For (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  22
    The Logical Way of Doing Things. [REVIEW]H. K. R. - 1970 - Review of Metaphysics 23 (4):753-753.
    The essays in philosophical logic collected in this volume are dedicated to Henry S. Leonard who was one of the first American philosophers to urge the application of modern logic to non-mathematical areas. Leonard also inspired the development of certain areas of contemporary philosophical logic discussed in some of the papers of this volume. This is especially clear in the case of free, or presupposition free, logics which Leonard's early work on a logic of existence inspired. In one essay of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  72
    Structure, method, and meaning.Paul Henle - 1951 - New York,: Liberal Arts Press.
    Henry M. Sheffer: a bibliography (p. xv-xvi)--Structure: A formulation of the logic of sense and denotation, by A. Church. Notes on the logic of intension, by C.I. Lewis. The logic of terms, by J.W. Miller. Two-valued truth tables for modal functions, by H.S. Leonard. N-valued Boolean algebra, by P. Henle. Triangular matrices determined by two sequences, by L.L. Silverman. The ordered pair in number theory, by W.V. Quine.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36.  32
    Tractatus 6 Reconsidered: An Algorithmic Alternative to Wittgenstein's Trade-Off.A. Roman & J. Gomułka - 2023 - History and Philosophy of Logic 45 (3):323-340.
    Wittgenstein's conception of the general form of a truth function given in thesis 6 can be presented as a sort of a trade-off: the author of the Tractatus is unable to reconcile the simplicity of his original idea of a series of forms with the simplicity of his generalisation of Sheffer's stroke; therefore, he is forced to sacrifice one of them. As we argue in this paper, the choice he makes – to weaken the logical constraints put on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  88
    Principia Mathematica. Whitehead, Alfred North, Russell, Bertrand.Henry Sheffer - 1926 - Isis 8 (1):226-231.
  38.  58
    Ineffable philosophies.Henry M. Sheffer - 1909 - Journal of Philosophy, Psychology and Scientific Methods 6 (5):123-129.
  39.  21
    (1 other version)Essai sur les éléments principaux de la représentation.Henry M. Sheffer - 1907 - Revue de Métaphysique et de Morale 15 (4):2-3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  14
    Logique et Mathematiques. Essai Historique et Critique sur le Nomber Infini.Henry M. Sheffer - 1910 - Philosophical Review 19 (1):89-90.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  26
    Duree et simultaneite, a propos de la theorie d'EinsteinBergson, Henri.Henry Sheffer - 1924 - Isis 6 (4):570-571.
  42.  41
    Die Grundlagen der Physik. Synthetische Prinzipien der mathematischen Naturphilosophie. Dingler, Hugo.Henry Sheffer - 1924 - Isis 6 (4):572-573.
  43.  34
    Per la storia della logica: I principii e l'ordine della scienza nel concetto dei pensatori matematici. Federigo Enriques.Henry Sheffer - 1923 - Isis 5 (2):469-470.
  44.  18
    Quantifiers.Henry M. Sheffer - 1948 - Journal of Symbolic Logic 13 (1):54-55.
  45. Structure, Method and Meaning.H. M. Sheffer, Felix Frankfurter, Paul Henle, Horace M. Kallen & Susanne K. Langer - 1953 - Mind 62 (247):396-405.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  38
    Training health care providers in the treatment of tobacco use and dependence: pre‐ and post‐training results.Christine E. Sheffer, Claudia P. Barone & Michael E. Anders - 2009 - Journal of Evaluation in Clinical Practice 15 (4):607-613.
  47.  75
    Kant und Einstein. Untersuchungen uber das Verhaltnis der modernen Erkenntnistheorie zur Relativitatstheorie. Elsbach, Alfred C. [REVIEW]Henry Sheffer - 1924 - Isis 6 (4):573-574.
  48.  13
    Physik und Hypothese by Hugo Dingler. [REVIEW]H. Sheffer - 1921 - Isis 4:385-385.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Sheffer's Criticism of Royce's Theory of Order.J. Brent Crouch, Michael Scanlan, Scott L. Pratt, Robert W. Burch & Phillip Deen - 2010 - Transactions of the Charles S. Peirce Society 46 (2):178-201.
    Henry Sheffer’s 1908 Harvard Ph.D. thesis contains an interesting appendix on a central feature of the logical work of his thesis advisor, Josiah Royce. This is the claim in Royce’s 1905 article “The Relations of the Principles of Logic to the Foundations of Geometry” that an unsymmetric ordering relation can be defined on the single symmetric O-relation for which he gives postulates in that paper. Sheffer criticizes Royce’s specific definition from the point of view of the evolving twentieth (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  50.  51
    Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.
    In order to explicate Gentzen’s famous remark that the introduction-rules for logical constants give their meaning, the elimination-rules being simply consequences of the meaning so given, we develop natural deduction rules for Sheffer’s stroke, alternative denial. The first system turns out to lack Double Negation. Strengthening the introduction-rules by allowing the introduction of Sheffer’s stroke into a disjunctive context produces a complete system of classical logic, one which preserves the harmony between the rules which Gentzen wanted: all indirect (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 975