Talk:Intermediate logic

From Wikipedia, the free encyclopedia

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)