Corrigendum to C. A. Meredith's and my paper: ``Equational logic''
Notre Dame Journal of Formal Logic 10 (4):452-452 (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,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesC. A. Meredith & A. N. Prior (1968). Equational Logic. Notre Dame Journal of Formal Logic 9 (3):212-226.
George Weaver (1994). A Note on Definability in Equational Logic. History and Philosophy of Logic 15 (2):189-199.
C. A. Meredith (1969). Equational Postulates for the Sheffer Stroke. Notre Dame Journal of Formal Logic 10 (3):266-270.
Tomasz Furmanowski (1983). The Logic of Algebraic Rules as a Generalization of Equational Logic. Studia Logica 42 (2-3):251 - 257.
Markus Junker & Ingo Kraus (2002). Theories with Equational Forking. Journal of Symbolic Logic 67 (1):326-340.
B. Jack Copeland (2006). Meredith, Prior, and the History of Possible Worlds Semantics. Synthese 150 (3):373 - 397.
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.
D. M. Gabbay (2012). Equational Approach to Argumentation Networks. Argument and Computation 3 (2-3):87 - 142.
David Meredith (1977). In Memoriam: Carew Arthur Meredith (1904--1976). Notre Dame Journal of Formal Logic 18 (4):513-516.
Arnold Beckmann (2002). Proving Consistency of Equational Theories in Bounded Arithmetic. Journal of Symbolic Logic 67 (1):279-296.
Jonathan P. Seldin (1969). Corrigendum to My Paper: ``Note on Definitional Reductions''. Notre Dame Journal of Formal Logic 10 (4):412-412.
John Grant (1975). Corrigendum to My Paper: ``Recognizable Algebras of Formulas''. Notre Dame Journal of Formal Logic 16 (1):132-132.
Jonathan P. Seldin (1980). A Second Corrigendum to My Paper: ``Note on Definitional Reductions''. Notre Dame Journal of Formal Logic 21 (4):728-728.
Stuart M. Shieber, Fernando C. N. Pereira & Mary Dalrymple (1996). Interactions of Scope and Ellipsis. Linguistics and Philosophy 19 (5):527 - 552.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,265 of 549,005 )Recent downloads (6 months)1 ( #63,327 of 549,005 )How can I increase my downloads? |
My notes
Discussion
