Equational logic
Notre Dame Journal of Formal Logic 9 (3):212-226 (1968)
| 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,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesGeorge Weaver (1994). A Note on Definability in Equational Logic. History and Philosophy of Logic 15 (2):189-199.
Markus Junker & Ingo Kraus (2002). Theories with Equational Forking. Journal of Symbolic Logic 67 (1):326-340.
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.
A. N. Prior (1969). Corrigendum to C. A. Meredith's and My Paper: ``Equational Logic''. Notre Dame Journal of Formal Logic 10 (4):452-452.
Tomasz Furmanowski (1983). The Logic of Algebraic Rules as a Generalization of Equational Logic. Studia Logica 42 (2-3):251 - 257.
Arnold Beckmann (2002). Proving Consistency of Equational Theories in Bounded Arithmetic. Journal of Symbolic Logic 67 (1):279-296.
D. M. Gabbay (2012). Equational Approach to Argumentation Networks. Argument and Computation 3 (2-3):87 - 142.
C. A. Meredith (1969). Equational Postulates for the Sheffer Stroke. Notre Dame Journal of Formal Logic 10 (3):266-270.
B. Courcelle (2012). Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach. Cambridge University Press.
Wojciech Buszkowski & Ewa Palka (2008). Infinitary Action Logic: Complexity, Models and Grammars. Studia Logica 89 (1):1 - 18.
Marcel Jackson (2008). Flat Algebras and the Translation of Universal Horn Logic to Equational Logic. Journal of Symbolic Logic 73 (1):90-128.
Stuart M. Shieber, Fernando C. N. Pereira & Mary Dalrymple (1996). Interactions of Scope and Ellipsis. Linguistics and Philosophy 19 (5):527 - 552.
John Harding (2013). Decidability of the Equational Theory of the Continuous Geometry CG(\Bbb {F}). Journal of Philosophical Logic 42 (3):461-465.
Jaime Bohórquez V. (2008). Intuitionistic Logic According to Dijkstra's Calculus of Equational Deduction. Notre Dame Journal of Formal Logic 49 (4):361-384.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads7 ( #133,420 of 549,067 )Recent downloads (6 months)1 ( #63,185 of 549,067 )How can I increase my downloads? |
My notes
Discussion
