Mechanizing Logic I, Map Logic Extended Formally to Relational Arguments & Mechanizing Logic Ii, Automated Map Logic Method for Relational Arguments on Paper and by Computer
J. & J. Rybak (1983)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic | |||||||||
| Categories | ||||||||||
| Call number | BC71.R92 1983 | |||||||||
| ISBN(s) | 0959857613 | |||||||||
| 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 | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesJohn P. Burgess (2009). Philosophical Logic. Princeton University Press.
Víctor Sánchez Valencia (1997). Head or Tail? De Morgan on the Bounds of Traditional Logic. History and Philosophy of Logic 18 (3):123-138.
Frances Howard-Snyder (2012). The Power of Logic. Mcgraw-Hill.
John S. Rybak (1973). Map Logic and Other Extensions of Traditional Logic. Sydney[the Authors, 8 Stratford Avenue, Denistone, 2114].
John Rybak & Janet Rybak (1976). Venn Diagrams Extended: Map Logic. Notre Dame Journal of Formal Logic 17 (3):469-475.
John Rybak & Janet Rybak (1984). Mechanizing Logic. I. Map Logic Extended Formally to Relational Arguments. Notre Dame Journal of Formal Logic 25 (3):250-264.
Janet Rybak & John Rybak (1984). Mechanizing Logic. II. Automated Map Logic Method for Relational Arguments on Paper and by Computer. Notre Dame Journal of Formal Logic 25 (3):265-282.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
