Teaching Formal Logic as Logic Programming in Philosophy Departments
Teaching Philosophy 15 (4):337-347 (1992)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,882 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesCarlos Viegas Damásio & Luís Moniz Pereira (2002). Hybrid Probabilistic Logic Programs as Residuated Logic Programs. Studia Logica 72 (1):113 - 138.
S. Summersbee & A. Walters (1963). Programming the Functions of Formal Logic. II. Multi-Valued Logics. Notre Dame Journal of Formal Logic 4 (4):293-305.
S. Summersbee & A. Walters (1962). Programming the Functions of Formal Logic. Notre Dame Journal of Formal Logic 3 (3):133-141.
Richard Bornat (2005). Proof and Disproof in Formal Logic: An Introduction for Programmers. New Yorkoxford University Press.
Jean-Yves Beziau (2008). What is “Formal Logic”? Proceedings of the Xxii World Congress of Philosophy 13:9-22.
R. D. Lee (1972). An Application of Mathematical Logic to the Integer Linear Programming Problem. Notre Dame Journal of Formal Logic 13 (2):279-282.
Ralph H. Johnson (1999). The Relation Between Formal and Informal Logic. Argumentation 13 (3):265-274.
Martin Davis (1990). Book Review: Melvin Fitting. Computability Theory, Semantics, and Logic Programming. [REVIEW] Notre Dame Journal of Formal Logic 31 (3):485-486.
John MacFarlane (2000). What Does It Mean to Say That Logic is Formal? Dissertation, University of Pittsburgh
Robert Hanna (2009). Book Review: Logic, Mathematics, and the Mind: A Critical Study of Richard Tieszen's Phenomenology, Logic, and the Philosophy of Mathematics. [REVIEW] Notre Dame Journal of Formal Logic 50 (3):339-361.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-01-09Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
