Language, Proof, and Logic
Csli Publications (2011)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic | |||||||||
| Categories | ||||||||||
| Buy the book | $221.07 new Amazon page | |||||||||
| Call number | BC71.B25 2011 | |||||||||
| ISBN(s) | 9781575866321 | |||||||||
| 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 | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesH. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1).
Michał Walicki (2012). Introduction to Mathematical Logic. World Scientific.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
H. Kushida & M. Okada (2003). A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic. Journal of Symbolic Logic 68 (4):1403-1414.
Rani Nelken & Chung-Chieh Shan (2006). A Modal Interpretation of the Logic of Interrogation. Journal of Logic, Language and Information 15 (3).
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Dick Jongh, Marc Jumelet & Franco Montagna (1991). On the Proof of Solovay's Theorem. Studia Logica 50 (1):51 - 69.
Ian Pratt-Hartmann (2013). The Syllogistic with Unity. Journal of Philosophical Logic 42 (2):391-407.
Takahito Aoto (1999). Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. Journal of Logic, Language and Information 8 (2):217-242.
Jaakko Hintikka (1973). Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Oxford,Clarendon Press.
V. Michele Abrusci & Elena Maringelli (1998). A New Correctness Criterion for Cyclic Proof Nets. Journal of Logic, Language and Information 7 (4):449-459.
Maarten Marx, Szabolcs Mikul & István Németi (1995). Taming Logic. Journal of Logic, Language and Information 4 (3):207-226.
Analytics
Monthly downloads |
Added to index2011-05-21Total downloads2 ( #232,684 of 549,699 )Recent downloads (6 months)1 ( #63,425 of 549,699 )How can I increase my downloads? |
My notes
Discussion
