- This entry has no external links.Add one.
Non-classical Logic, Structural Modelling and Meaning: The Proceedings of the Second Taiwan Philosophical Logic Colloquium TPLC-2014
Springer Verlag (2016) Copy BIBTEX
Abstract
This article has no associated abstract. (fix it)Author Profiles
Other Versions
No versions found
My notes
Similar books and articles
Logic and/of Truthmaking.Jamin Asay -2016 - In D. M. Deng, Hanti Lin & Syraya C. M. Yang,Non-classical Logic, Structural Modelling and Meaning: The Proceedings of the Second Taiwan Philosophical Logic Colloquium TPLC-2014. Springer Verlag.
Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin (eds.), Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Berlin/Heidelberg: Springer Verlag, 2016), 278 pp. [REVIEW]Kristina Šekrst -2016 -Prolegomena 15 (2):220-223.
Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium.Syraya Chin-Mu Yang,Duen-Min Deng &Hanti Lin (eds.) -2015 - Heidelberg, Germany: Springer.
Zucker J. I.. The adequacy problem for classical logic. Journal of philosophical logic, vol. 7 , pp. 517–535.Zucker J. I. and Tragesser R. S.. The adequacy problem for inferential logic. Journal of philosophical logic, pp. 501–516.Prawitz Dag. Proofs and the meaning and completeness of the logical constants. Essays on mathematical and philosophical logic, Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskyla, Finland, June 29-July 6,1976, edited by Hintikka Jaakko, Niiniluoto Ilkka, and Saarinen Esa, Synthese library, vol. 122, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 25–40.Prawitz Dag. Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, vol. 43 , pp. 2–40.Dummett M. A. E.. The justification of deduction. Proceedings of the British Academy, vol. 59 , pp. 201–232.Dummett Michael. The philosophical basis of intuitionistic logic. Logic Colloquium '73, Proceedings. [REVIEW]Richard E. Grandy -1982 -Journal of Symbolic Logic 47 (3):689-694.
J. R. Shoenfield. Measurable cardinals. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 19–49. [REVIEW]Kenneth Kunen -1975 -Journal of Symbolic Logic 40 (1):93-94.
Daniel Lacombe. Recursion theoretic structure for relational systems. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 3–17. [REVIEW]Carl E. Gordon -1975 -Journal of Symbolic Logic 40 (3):454-455.
G. Kreisel. Some reasons for generalizing recursion theory. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 139–198. [REVIEW]C. E. M. Yates -1975 -Journal of Symbolic Logic 40 (2):230-232.
Gaisi Takeuti. Incompleteness theorems and versus. Logic Colloquium '96, Proceedings of the colloquium held in San Sebastián, Spain, July 9–15, 1996, edited by J. M. Larrazabal, D. Lascar, and G. Mints, Lecture notes in logic, no. 12, Springer, Berlin, Heidelberg, New York, etc., 1998, pp. 247–261. - Gaisi Takeuti. Gödel sentences of bounded arithmetic. The journal of symbolic logic, vol. 65 , pp. 1338–1346. [REVIEW]Arnold Beckmann -2002 -Bulletin of Symbolic Logic 8 (3):433-435.
Kalmár L., Dummett M., Lejewski C., Quine W. V., Sommers F.. Discussion. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, pp. 63–81. [REVIEW]Gerald Standley -1974 -Journal of Symbolic Logic 39 (2):361-362.
L. Csirmaz, D. Gabbay, M. de Rijke, eds., Logic colloquium '92, studies in logic language, and information'.Ian Hodkinson -1997 -Journal of Logic, Language and Information 6 (4):453-457.
Analytics
Added to PP
2015-05-19
Downloads
0
6 months
0
2015-05-19
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author Profiles
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-vb4rf uwo