Talk:Intermediate logic
What logic is CPC? Jcreed 18:05, 29 June 2007 (UTC)Reply
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
What is CPC?
What logic is CPC? Jcreed 18:05, 29 June 2007 (UTC)
- From the context it seems it stands for Classical Propositional Calculus, i.e. classical logic. This article uses some strange nomenclature. I think IPC and CPC should be changed to Int and Cl per Chagrov&Zakharychev's book. Grue 21:12, 29 June 2007 (UTC)
- The thing is, in this case it's Chagrov and Zakharyaschev who use strange nomenclature. CPC (or just PC) and IPC are much more common than Cl and Int, to begin with they are almost universally used in the Dutch school (which is quite relevant to intuitionistic logic). In fact, I don't remember ever seeing Cl outside of the C&Z book (although capitalized CL gets used, accompanied by IL). OTOH it can't hurt to mention both notations. -- EJ 10:03, 2 July 2007 (UTC)
What is 'here and there' logic?
I have a paper that claims 'here and there' logic is a different name for Smetanich logic, but .... Pearce states that "The logic of here and there is also known as "the logic of present and future", and "the Smetanich logic", and was first axiomatized by Lukasiewicz in 1941 ... 61.92.69.43 (talk) 04:57, 23 June 2015 (UTC)
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.