Frege proof system and TNC⚬
Journal of Symbolic Logic 63 (2):709 - 738 (1998)
| 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,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesVerena Mayer (2007). Evidence, Judgment and Truth. Grazer Philosophische Studien 75 (1):175-197.
Bryan Pickel (2010). Syntax in Basic Laws §§29–32. Notre Dame Journal of Formal Logic 51 (2):253-277.
Jan Krajíček (2004). Implicit Proofs. Journal of Symbolic Logic 69 (2):387 - 397.
Stewart Shapiro (2009). We Hold These Truths to Be Self-Evident: But What Do We Mean by That? Review of Symbolic Logic 2 (1):175-207.
Richard Heck & George Boolos (1998). Die Grundlagen der Arithmetik §§82-83. In M. Schirn (ed.), Philosophy of Mathematics Today. OUP.
Øystein Linnebo (2004). Frege's Proof of Referentiality. Notre Dame Journal of Formal Logic 45 (2):73-98.
Ivan Welty (2011). Frege on Indirect Proof. History and Philosophy of Logic 32 (3):283-290.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,107 of 549,694 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
