A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method
Notre Dame Journal of Formal Logic 15 (1):161-164 (1974)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRafał Urbaniak (2006). On Representing Sentential Connectives of Lesniewski's Elementary Protothetic. Journal of Logic and Computation 16 (4):451-460.
Alasdair Urquhart (2011). Henry M. Sheffer and Notational Relativity. History and Philosophy of Logic 33 (1):33 - 47.
Thomas R. Grimes (1990). Truth, Content, and the Hypothetico-Deductive Method. Philosophy of Science 57 (3):514-522.
Theo A. F. Kuipers (2009). Empirical Progress and Truth Approximation by the 'Hypothetico-Probabilistic Method'. Erkenntnis 70 (3):313 - 330.
Howard Sankey (2002). Realism, Method and Truth. In Michele Marsonet (ed.), The Problem of Realism. Ashgate.
Dorota Leszczyńska-Jasion (2008). The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4f, S4r, S4m and G. Studia Logica 89 (3):365 - 399.
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
Stanisław Jaśkowski (1975). Three Contributions to the Two-Valued Propositional Calculus. Studia Logica 34 (1):121 - 132.
Petr Cintula (2005). Two Notions of Compactness in Gödel Logics. Studia Logica 81 (1):99 - 122.
Nathan Klinedinst & Daniel Rothschild (2012). Connectives Without Truth Tables. Natural Language Semantics 20 (2):137-175.
Xavier Caicedo & Roberto Cignoli (2001). An Algebraic Approach to Intuitionistic Connectives. Journal of Symbolic Logic 66 (4):1620-1636.
Edward A. Hacker (1980). Brief Note on a Coin-Method Equivalent to the Yarrow-Stalk Method for Determining the Lines of a Hexagram in the I-Ching. Philosophy East and West 30 (4):535-536.
Witold A. Pogorzelski & Piotr Wojtylak (2001). Cn-Definitions of Propositional Connectives. Studia Logica 67 (1):1-26.
Joop Niekus (2011). Brouwer's Incomplete Objects. History and Philosophy of Logic 31 (1):31-46.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,501 of 549,088 )Recent downloads (6 months)1 ( #63,317 of 549,088 )How can I increase my downloads? |
My notes
Discussion
