Talk:Intermediate logic

What is CPC?

What logic is CPC? Jcreed 18:05, 29 June 2007 (UTC)[reply]

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)[reply]

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)[reply]

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)[reply]