Equational postulates for the Sheffer stroke
Notre Dame Journal of Formal Logic 10 (3):266-270 (1969)
| 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,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAlasdair Urquhart (2011). Henry M. Sheffer and Notational Relativity. History and Philosophy of Logic 33 (1):33 - 47.
Robert D. Carnes (1969). A Reduction Procedure for Sheffer Stroke Formulas. Notre Dame Journal of Formal Logic 10 (3):331-335.
Sven Ove Hansson (2009). Replacement—a Sheffer Stroke for Belief Change. Journal of Philosophical Logic 38 (2):127 - 149.
Norman M. Martin (1976). Direct Analogues of the Sheffer Stroke in $M$-Valued Logic. Notre Dame Journal of Formal Logic 17 (3):415-420.
Michael Scanlan (2010). Sheffer's Criticism of Royce's Theory of Order. Transactions of the Charles S. Peirce Society 46 (2):178-201.
Ralph L. Slaght (1974). 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.
Markus Junker & Ingo Kraus (2002). Theories with Equational Forking. Journal of Symbolic Logic 67 (1):326-340.
George Weaver (1994). A Note on Definability in Equational Logic. History and Philosophy of Logic 15 (2):189-199.
Kristi L. Kirschner (2010). One City, Two Worlds. Hastings Center Report 40 (5):6-7.
Nicholas J. J. Smith (2009). Frege's Judgement Stroke and the Conception of Logic as the Study of Inference Not Consequence. Philosophy Compass 4 (4):639-665.
D. M. Gabbay (2012). Equational Approach to Argumentation Networks. Argument and Computation 3 (2-3):87 - 142.
Arnold Beckmann (2002). Proving Consistency of Equational Theories in Bounded Arithmetic. Journal of Symbolic Logic 67 (1):279-296.
William Craig (1989). Near-Equational and Equational Systems of Logic for Partial Functions. I. Journal of Symbolic Logic 54 (3):795-827.
William Craig (1989). Near-Equational and Equational Systems of Logic for Partial Functions. II. Journal of Symbolic Logic 54 (4):1181-1215.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads3 ( #201,730 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
